Specification diagrams for actor systems (1999)

by S Smith, C Talcott
Venue:In Formal Methods in Object-Oriented Distributed Systems (FMOODS