Adequate path expressions

This publication has 6 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• A formal semantics for concurrent systems
  Lecture Notes in Computer Science, 1979
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Concurrent Program Schemes and their Interpretations
  DAIMI Report Series, 1977
• Path Expressions
  Published by Defense Technical Information Center (DTIC) ,1975
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Acta Informatica, 1975