The following pages link to BISIMULATOR (Q15065):
Displaying 7 items.
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)
- Model Checking Software (Q5899040) (← links)
