Comparing three coordination models: Reo, ARC, and PBRD

DOI10.1016/J.SCICO.2009.11.006zbMath1211.68056OpenAlexW2024775438MaRDI QIDQ608351

Shangping Ren, Marjan Sirjani, Carolyn L. Talcott

Publication date: 25 November 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.11.006

zbMATH Keywords

Reocoordination languagesconstraint automataactor languagesactor role coordinator (ARC)policy based russian dolls (PBRD)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Combine and conquer: relating BIP and Reo

Uses Software

• Maude
• Reo
• 2APL
• Reoservice
• PAGODA
• Viptos
• KLAIM
• LIME
• Linda
• ReSpecT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Theoretical aspects of coordination languages
• Conditional rewriting logic as a unified model of concurrency
• Composable semantic models for actor theories
• Actor languages. Their syntax, semantics, translation, and equivalence
• Truly concurrent constraint programming
• Abstract behavior types: a foundation model for components and their composition
• Connector colouring. I: Synchronisation and context dependency
• Symbolic model checking for channel-based component connectors
• Modeling component connectors in Reo by constraint automata
• The Temporal Logic of Rewriting: A Gentle Introduction
• An Alternative Algorithm for Constraint Automata Product
• Design, implementation, and evaluation of the constraint language cc(FD)
• A foundation for actor computation
• Reo: a channel-based coordination model for component composition
• Formal ReSpecT
• Composition of Interacting Computations
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
• Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
• Generative communication in Linda
• Reasoning about meta level activities in open distributed systems
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Comparing three coordination models: Reo, ARC, and PBRD