Connector colouring. I: Synchronisation and context dependency

DOI10.1016/J.SCICO.2007.01.009zbMath1121.68015OpenAlexW2098116976MaRDI QIDQ2373643

Dave Clarke, Farhad Arbab, David Goldstein Costa

Publication date: 16 July 2007

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

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

zbMATH Keywords

compositiondistributed computingcoordinationreo

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (16)

Tiles for Reo ⋮ A perspective on service orchestration ⋮ A basic algebra of stateless connectors ⋮ Combine and conquer: relating BIP and Reo ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Modeling dynamic reconfigurations in Reo using high-level replacement systems ⋮ Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ A model of context-dependent component connectors ⋮ Channel-based coordination via constraint satisfaction ⋮ Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> ⋮ Coordination: Reo, Nets, and Logic ⋮ Verification of Context-Dependent Channel-Based Service Models ⋮ Soft constraint automata with memory ⋮ Coordination Models Orc and Reo Compared ⋮ Connector Rewriting with High-Level Replacement Systems

This page was built for publication: Connector colouring. I: Synchronisation and context dependency