Petruchio
From MaRDI portal
Cited in
(20)- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- PLTMGC
- MWB
- SLMC
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Liveness in broadcast networks
- On hierarchical communication topologies in the -calculus
- A polynomial translation of -calculus FCPS to safe Petri nets
- A polynomial translation of -calculus (FCP) to safe Petri nets
- Efficient coverability analysis by proof minimization
- VDMTools
- Overture Tool
- Encoding Asynchronous Interactions Using Open Petri Nets
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
- ByMC
- Numerical homogenization: survey, new results, and perspectives
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- A practical approach to verification of mobile systems using net unfolding
- Multiset rewriting for the verification of depth-bounded processes with name binding
This page was built for software: Petruchio
