Composable Semantic Models for Actor Theories (1998)

Cached

Download Links

by Carolyn L. Talcott
Venue:Higher-Order and Symbolic Computation
Citations:31 - 10 self

Documents Related by Co-Citation

44 Interaction semantics for components of distributed systems – C L Talcott - 1996
56 Foundations of Actor Semantics – William Clinger - 1981
1094 Actors—A Model of Concurrent Computation for Distributed Systems – G Agha - 1986
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
57 for Communicating Parallel Processes – C Hewitt, H Laws Baker - 1977
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
27 An Actor Rewriting Theory – Carolyn Talcott - 1996
401 Viewing Control Structures as Pattern of Passing Messages – C Hewitt - 1977
159 Concurrent Object-Oriented Programming – G Agha - 1990
28 Semantics of Communicating Parallel Processes – Greif - 1975
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
36 Coordinating distributed objects - an actor-based approach to synchronization – Svend Frølund - 1996
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
8 Resource Management in OpenDistributed Systems with Applications to Multimedia – N Venkatasubramanian - 1998
13 Towards an Algebra of Actors – Mauro Gaspari, Piazza Porta, S. Donato - 1996
392 Algebraic Theory of Processes – M Hennessy - 1988
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
3200 Communication and Concurrency – R Milner - 1989
122 ABCL: An Object-Oriented Concurrent System – A Yonezawa, editor - 1990