The following pages link to (Q4824478):
Displaying 8 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Barbed Semantics for Open Reactive Systems (Q2848882) (← links)
- A Modular LTS for Open Reactive Systems (Q2915166) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)
- Synthesizing reactive systems from hyperproperties (Q6045009) (← links)