Pages that link to "Item:Q4819114"
From MaRDI portal
The following pages link to Reo: a channel-based coordination model for component composition (Q4819114):
Displayed 16 items.
- Formal Verification for Components and Connectors (Q3638992) (← links)
- (Q5028433) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← 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)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← 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)
- Soft constraint automata with memory (Q5918138) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- A formal algebraic approach for the quantitative modeling of connectors in architectures (Q6108727) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)