On the Verification of Coordination

This publication has 7 references indexed in Scilit:

• Formalization of a software architecture for embedded systems: a process algebra for SPLICE
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Comparing Software Architectures for Coordination Languages
  Published by Springer Nature ,1999
• A software architecture for distributed control systems and its transition system semantics
  Published by Association for Computing Machinery (ACM) ,1998
• CADP a protocol validation and verification toolbox
  Lecture Notes in Computer Science, 1996
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• Control systems software
  IEEE Transactions on Automatic Control, 1993
• An axiomatic basis for computer programming
  Communications of the ACM, 1969