A Graphical Parallel Composition Operator for Process Algebras

This publication has 9 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A graphical composition theorem for networks of LOTOS processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A brief history of Timed CSP
  Theoretical Computer Science, 1995
• A front-end generator for verification tools
  Published by Springer Nature ,1995
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• A calculus of mobile processes, II
  Information and Computation, 1992
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Higher-level synchronising devices in Meije-SCCS
  Theoretical Computer Science, 1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980