Action system approach to the specification and design of distributed systems

This publication has 12 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Parallel Program Design
  Published by Springer Nature ,1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• On the design of reactive systems
  BIT Numerical Mathematics, 1988
• A compositional approach to superimposition
  Published by Association for Computing Machinery (ACM) ,1988
• A new paradigm for the design of concurrent systems
  ACM SIGAda Ada Letters, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Towards programming with knowledge expressions
  Published by Association for Computing Machinery (ACM) ,1986
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Communicating sequential processes
  Communications of the ACM, 1978