|
44
|
Interaction semantics for components of distributed systems
– C L Talcott
- 1996
|
|
1008
|
Actors: a model of concurrent computation in distributed systems
– Gul Agha
- 1986
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
28
|
Composable Semantic Models for Actor Theories
– Carolyn L. Talcott
- 1998
|
|
341
|
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
|
|
153
|
Concurrent object-oriented programming
– Gul 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
|
|
19
|
Implementing CCS in Maude 2
– Alberto Verdejo, Narciso Martí-Oliet
- 2002
|
|
52
|
Foundations of Actor Semantics
– W Clinger
- 1981
|
|
54
|
Laws for communicating parallel processes
– C Hewitt, J Henry C Baker
- 1977
|
|
3
|
Towards an Algebraic Formulation of Actors
– P Thati
- 2000
|
|
11
|
An Actor-Based Framework For Real-Time Coordination
– Shangping Ren
- 1997
|
|
31
|
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages
– Wooyoung Kim, Gul Agha
- 1995
|
