Operational and Algebraic Semantics of Concurrent Processes

This publication has 19 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• On the semantics of concurrency: Partial orders and transition systems
  Published by Springer Nature ,1987
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Acceptance trees
  Journal of the ACM, 1985
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Communicating sequential processes
  Communications of the ACM, 1978