The box calculus: A new causal algebra with multi-label communication

This publication has 29 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• Failures semantics based on interval semiwords is a congruence for refinement
  Distributed Computing, 1991
• Petri nets and algebraic specifications
  Theoretical Computer Science, 1991
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Petri nets: Basic notions, structure, behaviour
  Published by Springer Nature ,1986
• Higher-level synchronising devices in Meije-SCCS
  Theoretical Computer Science, 1985
• Notes on Algebraic Calculi of Processes
  Published by Springer Nature ,1985
• OCCAM
  ACM SIGPLAN Notices, 1983
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Communicating sequential processes
  Communications of the ACM, 1978