CAESAR
From MaRDI portal
Software:40852
swMATH29138MaRDI QIDQ40852FDOQ40852
Author name not available (Why is that?)
Cited In (9)
- 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
- Preventing differential fault analysis attack on AEGIS family of ciphers
This page was built for software: CAESAR
