Cited in
(40)- Nested-unit Petri nets
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Translating FSP into LOTOS and networks of automata
- jETI
- SCADE
- SIGREF
- TIMES
- BISIMULATOR
- M-TREE
- E-LOTOS
- libDDD
- Renew
- CADP
- Fiacre
- csp2B
- CAESAR_SOLVE
- TVT
- CMC
- fc2tools
- Concurrency Workbench
- Petriweb
- DLC
- Mec 5
- LNT2LOTOS
- VERSA
- XTL
- CAESAR
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Compositional verification of asynchronous concurrent systems using CADP
- Refined Interfaces for Compositional Verification
- Compositional verification of concurrent systems by combining bisimulations
- Decomposing monolithic processes in a process algebra with multi-actions
- Computation Tree Regular Logic for Genetic Regulatory Networks
This page was built for software: Exp.Open
