Pages that link to "Item:Q1004386"
From MaRDI portal
The following pages link to Comparing communication primitives via their relative expressive power (Q1004386):
Displaying 22 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- The probe: An addition to communication primitives (Q1071496) (← links)
- An alternative implementation of communication primitives (Q1091123) (← 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)
- Synchrony vs asynchrony in communication primitives (Q2866346) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
- On the Expressive Power of Communication Primitives in Parameterised Systems (Q3460063) (← links)
- (Q4934334) (← links)
- Computational Science - ICCS 2004 (Q5712877) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Foundations of Software Science and Computation Structures (Q5899079) (← links)
- Mixed choice in session types (Q6543263) (← links)
