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

Document Versions

Specification diagrams for actor systems –Scott F. Smith, Carolyn L. Talcott — 1998 — PROCEEDINGS OF THE SECOND WORKSHOP ON HIGHER-ORDER TECHNIQUES IN SEMANTICS, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Specification Diagrams for Actor Systems –Scott F. Smith, Carolyn L. Talcott — 1998 — Proceedings of the Second Workshop on Higher-Order Techniques in Semantics, Electronic Notes in Theoretical Computer Science
Specification Diagrams for Actor Systems –Scott Smith — 1998 — Proceedings of the Second Workshop on Higher-Order Techniques in Semantics, Electronic Notes in Theoretical Computer Science
Specification diagrams for actor systems –Scott F. Smith — 1998 — Proceedings of the Second Workshop on Higher-Order Techniques in Semantics, Electronic Notes in Theoretical Computer Science