Pages that link to "Item:Q2387197"
From MaRDI portal
The following pages link to Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197):
Displaying 6 items.
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
