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