Connector colouring. I: Synchronisation and context dependency
From MaRDI portal
Publication:2373643
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
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
