Composable Semantic Models for Actor Theories (1998)

Cached

Download Links

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

Active Bibliography

1 Can Actors and π-Agents Live Together? – Ugo Montanari, Carolyn Talcott
12 Actor Languages: Their Syntax, Semantics, Translation, and Equivalence – Ian A. Mason, Carolyn L. Talcott - 1999
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004
9 An Adaptive Resource Management Architecture for Global Distributed Computing – Nalini Venkatasubramanian - 1998
27 An Actor Rewriting Theory – Carolyn Talcott - 1996
Mathematical and Engineering Foundations for Interoperability via Architecture РJohn McCarthy, Carolyn Talcott, Jos̩ Meseguer, Armando Haeberer - 1998
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
2 Proof-Theoretic Foundations for the Design of Actor Systems – Carlos Duarte
20 A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service – Mauro Gaspari, Gianluigi Zavattaro - 1999
Cyber-Physical Systems and Events – Carolyn Talcott
9 Modular Reasoning for Actor Specification Diagrams – Scott F. Smith, Carolyn L. Talcott - 1999
6 Rewriting Semantics of Meta-Objects and Composable Distributed Services – G. Denker, J. Meseguer, C. Talcott - 2000
7 Integration of Resource Management Activities in Distributed Systems – Nalini Venkatasubramanian, Carolyn L. Talcott - 1999
11 Thal: An Actor System For Efficient And Scalable Concurrent Computing – Wooyoung Kim - 1997
42 Reasoning about Meta Level Activities in Open Distributed Systems – Nalini Venkatasubramanian, Carolyn Talcott - 1995
1 Knowledge-Level Speech Acts – Mauro Gaspari, Mura Anteo Zamboni - 1997
2 Authors: – Dick Brooks, Dick Brooks, Nick Kassem
45 Heterogeneous Concurrent Modeling and Design in Java (Volumes 1: Introduction to Ptolemy II) – Christopher Brooks, Edward A. Lee, Xiaojun Liu, Yang Zhao, Haiyang Zheng, et al. - 2005
1 Trace Semantics for Concurrent Objects – Vasco Thudichum Vasconcelos, Copyright Vasco, T. Vasconcelos - 1992