Cited in
(18)- Revisiting sequential composition in process calculi
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- An automatic technique for checking the simulation of timed systems
- Translating FSP into LOTOS and networks of automata
- Event algebra for transition systems composition application to timed automata
- D-Finder
- jETI
- BISIMULATOR
- M-TREE
- E-LOTOS
- Cheddar
- csp2B
- Exp.Open
- TLC
- FastSLAM
- XTL
- CAESAR
- MAST
This page was built for software: Fiacre
