CAESAR
From MaRDI portal
Software:40852
No author found.
Related Items (9)
Accelerating the computation of dead and concurrent places using reductions ⋮ Translating FSP into LOTOS and networks of automata ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Nested-unit Petri nets ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ 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 ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular ⋮ Efficient algorithms for three reachability problems in safe Petri nets
This page was built for software: CAESAR
