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

Documents Related by Co-Citation

44 Interaction semantics for components of distributed systems – C L Talcott - 1996
1097 Actors: A Model of Concurrent Computation in Distributed Systems – Gul A Agha - 1986
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
31 Composable Semantic Models for Actor Theories – Carolyn L. Talcott - 1998
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
9 Modular Reasoning for Actor Specification Diagrams – Scott F. Smith, Carolyn L. Talcott - 1999
19 CINNI — A generic calculus of explicit substitutions and its application to λ-, ς- and π-calculi – M-O Stehr
27 An Actor Rewriting Theory – Carolyn Talcott - 1996
159 Concurrent Object-Oriented Programming – G Agha - 1990
12 Actor Languages: Their Syntax, Semantics, Translation, and Equivalence – Ian A. Mason, Carolyn L. Talcott - 1999
42 Reasoning about Meta Level Activities in Open Distributed Systems – Nalini Venkatasubramanian, Carolyn Talcott - 1995
5 A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching – Prasannaa Thati, Reza Ziaei, Gul Agha - 2002
6 A theory of may testing for actors – Prasannaa Thati, Reza Ziaei, Gul Agha - 2002
20 Implementing CCS in Maude 2 – Alberto Verdejo, Narciso Martí-Oliet - 2002
57 for Communicating Parallel Processes – C Hewitt, H Laws Baker - 1977
56 Foundations of Actor Semantics – William Clinger - 1981
3 Towards an Algebraic Formulation of Actors – P Thati - 2000
30 Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages – Wooyoung Kim, Gul Agha - 1995
11 An Actor-Based Framework For Real-Time Coordination – Shangping Ren - 1997