Composable semantic models for actor theories

DOI10.1023/A:1010042915896MaRDI QIDQ1290314zbMATH OpenOpenAlexFDO

Authors Carolyn Talcott

Publication date 31 May 1999

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010042915896

zbMATH Keywords

component algebra homomorphismcomposable semanticsopen distributed systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A foundation for actor computation
• Actors: A model for reasoning about open distributed systems
• scientific article; zbMATH DE number 1696902
• Actor theories in rewriting logic
• scientific article; zbMATH DE number 1490021

Cited in

(17)

• A modular formal semantics for Ptolemy
• Actor theories in rewriting logic
• Actors and their composition
• scientific article; zbMATH DE number 1860615 (Why is no real title available?)
• Actors: A model for reasoning about open distributed systems
• What is computation? Actor model versus Turing's model
• A formal framework for interactive agents
• Actor languages. Their syntax, semantics, translation, and equivalence
• Modeling concurrent systems: actors, nets, and the problem of abstraction and composition
• Statistical model checking for composite actor systems
• Comparing three coordination models: Reo, ARC, and PBRD
• scientific article; zbMATH DE number 1696902 (Why is no real title available?)
• Comparing three coordination models: Reo, ARC, and RRD
• Rewriting logic: Roadmap and bibliography
• Actors and logical analysis of interactive systems
• scientific article; zbMATH DE number 7056232 (Why is no real title available?)
• scientific article; zbMATH DE number 3902011 (Why is no real title available?)

This page was built for publication: Composable semantic models for actor theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1290314)