G.__Denker
Capsl integrated protocol environment
Capsl intermediate language
Filipe. Towards a Model for Asynchronously Communicating Objects
Protocol specification and analysis in Maude
Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic