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
44 Interaction semantics for components of distributed systems – C L Talcott - 1996
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
27 An Actor Rewriting Theory – Carolyn Talcott - 1996
56 Foundations of actor semantics – W D Clinger - 1981
401 Viewing Control Structures as Patterns of Passing Messages – C Hewitt - 1977
57 for Communicating Parallel Processes – C Hewitt, H Laws Baker - 1977
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
13 Specification diagrams for actor systems – Scott F. Smith, Carolyn L. Talcott - 1998
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
5 A proof-theoretic approach to the design of object-based mobility – C Duarte - 1997
9 Modular Reasoning for Actor Specification Diagrams – Scott F. Smith, Carolyn L. Talcott - 1999
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
42 Reasoning about Meta Level Activities in Open Distributed Systems – Nalini Venkatasubramanian, Carolyn Talcott - 1995
159 Concurrent Object-Oriented Programming – G Agha - 1990
8 Resource Management in OpenDistributed Systems with Applications to Multimedia – N Venkatasubramanian - 1998
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