Coordination Models Orc and Reo Compared

DOI10.1016/j.entcs.2008.03.099zbMath1277.68201OpenAlexW2126895306MaRDI QIDQ2866319

Dave Clarke, José Proença

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.099

zbMATH Keywords

Reocoordination languagesOrcsoftware connectors

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Combine and conquer: relating BIP and Reo

Uses Software

• Reo
• Linda
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Embedding as a tool for language comparison
• On the expressiveness of coordination via shared dataspaces
• Connector colouring. I: Synchronisation and context dependency
• Modeling component connectors in Reo by constraint automata
• Connector Rewriting with High-Level Replacement Systems
• Reo: a channel-based coordination model for component composition
• Generative communication in Linda
• A Language for Task Orchestration and Its Semantic Properties

This page was built for publication: Coordination Models Orc and Reo Compared