Specification diagrams for actor systems (1998)

by Scott F. Smith , Carolyn L. Talcott
Venue:PROCEEDINGS OF THE SECOND WORKSHOP ON HIGHER-ORDER TECHNIQUES IN SEMANTICS, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:13 - 4 self