Pages that link to "Item:Q2389338"
From MaRDI portal
The following pages link to Symbolic model checking for channel-based component connectors (Q2389338):
Displaying 7 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Connector Rewriting with High-Level Replacement Systems (Q2866320) (← links)
- Formal Verification for Components and Connectors (Q3638992) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
