The following pages link to XTL (Q33753):
Displaying 4 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Distributed branching bisimulation reduction of state spaces (Q2845494) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement (Q4649300) (← links)