Pages that link to "Item:Q2495551"
From MaRDI portal
The following pages link to Modeling component connectors in Reo by constraint automata (Q2495551):
Displayed 27 items.
- SAT-based verification for timed component connectors (Q433331) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← 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)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- Comparing Three Coordination Models: Reo, ARC, and RRD (Q2866318) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- Connector Rewriting with High-Level Replacement Systems (Q2866320) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Failure-based equivalence of constraint automata (Q3056378) (← links)
- Verification of Context-Dependent Channel-Based Service Models (Q3066118) (← links)
- Tiles for Reo (Q3184723) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Linear Temporal Logic of Constraint Automata (Q3628607) (← links)
- Formal Verification for Components and Connectors (Q3638992) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← 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)
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212) (← links)
- On Resource-Sensitive Timed Component Connectors (Q5428917) (← links)
- Recasting Constraint Automata into Büchi Automata (Q5505600) (← links)