Modular reasoning for actor specification diagrams (1999)

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