Pages that link to "Item:Q1014276"
From MaRDI portal
The following pages link to A theory of structural stationarity in the \(\pi\)-calculus (Q1014276):
Displaying 10 items.
- Petruchio (Q16570) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Well-structured graph transformation systems (Q729812) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- (Q5089315) (← links)
