Pages that link to "Item:Q2373643"
From MaRDI portal
The following pages link to Connector colouring. I: Synchronisation and context dependency (Q2373643):
Displayed 16 items.
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- Connector Rewriting with High-Level Replacement Systems (Q2866320) (← links)
- Verification of Context-Dependent Channel-Based Service Models (Q3066118) (← links)
- Tiles for Reo (Q3184723) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- 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> (Q5179204) (← links)
- Soft constraint automata with memory (Q5918138) (← links)