Interface-Based Protocol Specification of Open Systems using PSL

This publication has 33 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Signatures: A language extension for improving type abstraction and subtype polymorphism in C++
  Software: Practice and Experience, 1995
• Specification and analysis of system architecture using Rapide
  IEEE Transactions on Software Engineering, 1995
• The Geneva convention on the treatment of object aliasing
  ACM SIGPLAN OOPS Messenger, 1992
• Emerald: A general‐purpose programming language
  Software: Practice and Experience, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969