The following pages link to Petruchio (Q16570):
Displaying 13 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets (Q2848363) (← links)
- A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets (Q2912696) (← links)
- Efficient Coverability Analysis by Proof Minimization (Q2912699) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- Numerical homogenization: survey, new results, and perspectives (Q3451610) (← links)
