Pages that link to "Item:Q5756619"
From MaRDI portal
The following pages link to Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi (Q5756619):
Displayed 16 items.
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- A thesis for interaction (Q2055962) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Breaking symmetries (Q2971075) (← links)
- (Q3385647) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- A Look Around the Corner: The Pi-Calculus (Q3623819) (← links)
- (Q5013871) (← links)
- (Q5111635) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Comparing the expressiveness of the \(\pi \)-calculus and CCS (Q6166803) (← links)