Composable semantic models for actor theories

DOI10.1023/A:1010042915896zbMath0934.68058OpenAlexW1625982774MaRDI QIDQ1290314

Carolyn L. 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)

Related Items (7)

Rewriting logic: Roadmap and bibliography ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Unnamed Item ⋮ Actor languages. Their syntax, semantics, translation, and equivalence ⋮ A Formal Framework for Interactive Agents ⋮ Comparing Three Coordination Models: Reo, ARC, and RRD ⋮ Actor theories in rewriting logic

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