Multiway synchronization verified with coupled simulation

This publication has 12 references indexed in Scilit:

• Superimposition for interacting processes
  Published by Springer Nature ,2005
• An implementation of N-party synchronization using tokens
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Coordinating first-order multiparty interactions
  Published by Association for Computing Machinery (ACM) ,1991
• A distributed synchronization scheme for fair multi-process handshakes
  Information Processing Letters, 1990
• Process synchronization: design and performance evaluation of distributed algorithms
  IEEE Transactions on Software Engineering, 1989
• Multiparty interactions for interprocess communication and synchronization
  IEEE Transactions on Software Engineering, 1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• The multiway rendezvous
  ACM Transactions on Programming Languages and Systems, 1987
• Script: A communication abstraction mechanism and its verification
  Science of Computer Programming, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984