BISIMULATOR

swMATH2526MaRDI QIDQ15065FDOQ15065

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_42

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (24)

• 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
• Tiburon
• M-TREE
• CADP
• Fiacre
• csp2B
• Exp.Open
• CAESAR_SOLVE
• TVT
• VLTS Benchmark Suite
• Concurrency Workbench
• DLC
• Mec 5
• LNT2LOTOS
• VERSA
• XTL
• CAESAR
• mCRL
• Model Checking Software
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

This page was built for software: BISIMULATOR