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

This publication has 27 references indexed in Scilit:

• 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
  1986
• Petri nets: Basic notions, structure, behaviour
  1986
• Higher-level synchronising devices in Meije-SCCS
  Theoretical Computer Science, 1985
• Notes on Algebraic Calculi of Processes
  1985
• OCCAM
  ACM SIGPLAN Notices, 1983
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Communicating sequential processes
  Communications of the ACM, 1978