Petruchio
From MaRDI portal
Software:16570
swMATH4394MaRDI QIDQ16570FDOQ16570
Author name not available (Why is that?)
Cited In (14)
- Multiset rewriting for the verification of depth-bounded processes with name binding
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Numerical homogenization: survey, new results, and perspectives
- A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets
- Encoding Asynchronous Interactions Using Open Petri Nets
- Liveness in broadcast networks
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
- A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
- Efficient Coverability Analysis by Proof Minimization
- 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 Unfoldings
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
This page was built for software: Petruchio
