An exercise in formalizing the description of a concurrent system

This publication has 8 references indexed in Scilit:

• EXPOSE: an animation tool for process-oriented specifications
  Software Engineering Journal, 1991
• The RAISE language, method and tools
  Formal Aspects of Computing, 1989
• An interpreter for LOTOS, a specification language for distributed systems
  Software: Practice and Experience, 1988
• Software Engineering Mathematics
  Published by Taylor & Francis ,1988
• A pictorial approach to the animation of process-oriented formal specifications
  Software Engineering Journal, 1988
• A LOTOS Specification of the PROWAY Highway Service
  IEEE Transactions on Computers, 1986
• Petri Nets
  Published by Springer Nature ,1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980