BISIMULATOR
From MaRDI portal
Software:15065
No author found.
Related Items (7)
Translating FSP into LOTOS and networks of automata ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ From generic partition refinement to weighted tree automata minimization ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ Model Checking Software
This page was built for software: BISIMULATOR
