The following pages link to (Q3150203):
Displayed 11 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- An exercise in structural congruence (Q845877) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
- (Q5014801) (← links)
- The Parametric Complexity of Lossy Counter Machines (Q5092331) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)