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
- 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
- Preventing differential fault analysis attack on AEGIS family of ciphers
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account
This page was built for software: CAESAR
