Pages that link to "Item:Q2495551"
From MaRDI portal
The following pages link to Modeling component connectors in Reo by constraint automata (Q2495551):
Displaying 45 items.
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- 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)
- A relational model for probabilistic connectors based on timed data distribution streams (Q1631223) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Learning to coordinate (Q2028749) (← links)
- Reo connectors and components as tagged signal models (Q2028750) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- From symbolic constraint automata to Promela (Q2168790) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Connector colouring. I: Synchronisation and context dependency (Q2373643) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- Compositional failure-based equivalence of constraint automata (Q2810975) (← 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)
- Data optimizations for constraint automata (Q2974782) (← 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)
- Most General Property-Preserving Updates (Q5739011) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900818) (← links)
- Soft constraint automata with memory (Q5918138) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
- Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)
