Pages that link to "Item:Q930882"
From MaRDI portal
The following pages link to Semantic subtyping for the pi-calculus (Q930882):
Displaying 5 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)