Comparing Three Coordination Models: Reo, ARC, and RRD

DOI10.1016/j.entcs.2008.03.098zbMath1277.68208OpenAlexW2050188290MaRDI QIDQ2866318

Shangping Ren, Marjan Sirjani, Carolyn L. Talcott

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.098

zbMATH Keywords

semanticsactorReorolecoordination modelreflective Russian dolls

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Symbolic execution of Reo circuits using constraint automata ⋮ Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints ⋮ A Formal Framework for Interactive Agents

Uses Software

• Reo
• PAGODA
• KLAIM
• LIME
• Linda

Cites Work

• Unnamed Item
• Unnamed Item
• Theoretical aspects of coordination languages
• Composable semantic models for actor theories
• Actor languages. Their syntax, semantics, translation, and equivalence
• Modeling component connectors in Reo by constraint automata
• A foundation for actor computation
• Reo: a channel-based coordination model for component composition
• Generative communication in Linda
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Comparing Three Coordination Models: Reo, ARC, and RRD