Pages that link to "Item:Q1004386"
From MaRDI portal
The following pages link to Comparing communication primitives via their relative expressive power (Q1004386):
Displaying 12 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← 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)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
