Pages that link to "Item:Q1004386"

The following pages link to Comparing communication primitives via their relative expressive power (Q1004386):

Displayed 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)