Connector colouring. I: Synchronisation and context dependency
From MaRDI portal
Publication:2373643
Recommendations
- Formalizing propagation of priorities in Reo, using eight colors
- 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>
- Reo: a channel-based coordination model for component composition
- A coinductive calculus of component connectors.
- Modeling component connectors in Reo by constraint automata
Cited in
(18)- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Channel-based coordination via constraint satisfaction
- Connector rewriting with high-level replacement systems
- Coordination models Orc and Reo compared
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- 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>
- Connectors as designs: modeling, refinement and test case generation
- A model of context-dependent component connectors
- Tiles for Reo
- Soft constraint automata with memory
- Formalizing propagation of priorities in Reo, using eight colors
- A basic algebra of stateless connectors
- Verification of context-dependent channel-based service models
- A coinductive calculus of component connectors.
- Combine and conquer: relating BIP and Reo
- Comparing three coordination models: Reo, ARC, and PBRD
- A perspective on service orchestration
- Coordination: Reo, Nets, and Logic
This page was built for publication: Connector colouring. I: Synchronisation and context dependency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373643)
