Pages that link to "Item:Q930882"
From MaRDI portal
The following pages link to Semantic subtyping for the pi-calculus (Q930882):
Displaying 10 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
