Composable semantic models for actor theories

DOI10.1023/A:1010042915896zbMATH Open0934.68058OpenAlexW1625982774MaRDI QIDQ1290314FDOQ1290314

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

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

zbMATH Keywords

component algebra homomorphismcomposable semanticsopen distributed systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (17)

• A modular formal semantics for Ptolemy
• Actor theories in rewriting logic
• Title not available (Why is that?)
• Actors: A model for reasoning about open distributed systems
• What is computation? Actor model versus Turing's model
• Actors and their composition
• 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
• Title not available (Why is that?)
• Comparing three coordination models: Reo, ARC, and RRD
• Rewriting logic: Roadmap and bibliography
• Actors and logical analysis of interactive systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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)