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

222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
1094 Actors—A Model of Concurrent Computation for Distributed Systems – G Agha - 1986
44 Interaction semantics for components of distributed systems – C L Talcott - 1996
56 Foundations of Actor Semantics – William Clinger - 1981
27 An Actor Rewriting Theory – Carolyn Talcott - 1996
57 for Communicating Parallel Processes – C Hewitt, H Laws Baker - 1977
401 Viewing Control Structures as Pattern of Passing Messages – C Hewitt - 1977
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
159 Concurrent Object-Oriented Programming – G Agha - 1990
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
13 Specification diagrams for actor systems – Scott F. Smith, Carolyn L. Talcott - 1998
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
1493 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1991
42 Reasoning about Meta Level Activities in Open Distributed Systems – Nalini Venkatasubramanian, Carolyn Talcott - 1995
17 Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic – Patrick Lincoln, Narciso Martí-Oliet, Jos, José Meseguer, P. Lincoln, N. Mart I-oliet, J. Meseguer - 1994
14 A semantically sound actor translation – Ian A Mason, Carolyn L Talcott - 1997
55 Towards a theory of actor computation – G Agha, I A Mason, S Smith, C Talcott - 1992