Cited in
(37)- Translating FSP into LOTOS and Networks of Automata
- Tools and Algorithms for the Construction and Analysis of Systems
- From generic partition refinement to weighted tree automata minimization
- New dynamic construction techniques for M-tree
- A reverse nearest neighbor search algorithm in metric space
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
- Translating FSP into LOTOS and networks of automata
- jETI
- SCADE
- SIGREF
- Tiburon
- TIMES
- BISIMULATOR
- LOTOS
- CADP
- APNN-Toolbox
- Fiacre
- csp2B
- Exp.Open
- CAESAR_SOLVE
- TVT
- VLTS Benchmark Suite
- fc2tools
- Concurrency Workbench
- DLC
- Mec 5
- LNT2LOTOS
- VERSA
- XTL
- CAESAR
- mCRL
- 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
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- scientific article; zbMATH DE number 5282843 (Why is no real title available?)
- Model Checking Software
- scientific article; zbMATH DE number 5176702 (Why is no real title available?)
This page was built for software: M-TREE
