BISIMULATOR

swMATH2526MaRDI QIDQ15065FDOQ15065

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (7)

• From generic partition refinement to weighted tree automata minimization
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
• Translating FSP into LOTOS and networks of automata
• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Model Checking Software
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

This page was built for software: BISIMULATOR