Pages that link to "Item:Q2373643"
From MaRDI portal
The following pages link to Connector colouring. I: Synchronisation and context dependency (Q2373643):
Displaying 18 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)
- Formalizing propagation of priorities in Reo, using eight colors (Q2028748) (← 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)
- Recent Trends in Algebraic Development Techniques (Q5900818) (← links)
- Soft constraint automata with memory (Q5918138) (← links)