swMATH29138MaRDI QIDQ40852FDOQ40852
Author name not available (Why is that?)
Official website: http://cadp.inria.fr/man/caesar.html
Cited In (26)
- Reflections on the future of concurrency theory in general and process calculi in particular
- Accelerating the computation of dead and concurrent places using reductions
- Nested-unit Petri nets
- Automatic decomposition of Petri nets into automata networks -- a synthetic account
- Efficient algorithms for three reachability problems in safe Petri nets
- 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
- M-TREE
- AEGIS
- Renew
- CADP
- Fiacre
- csp2B
- Exp.Open
- LLBMC
- CAESAR_SOLVE
- Petriweb
- Murphi
- XTL
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- Preventing differential fault analysis attack on AEGIS family of ciphers
This page was built for software: CAESAR
