Pages that link to "Item:Q2465029"
From MaRDI portal
The following pages link to Separation of synchronous and asynchronous communication via testing (Q2465029):
Displayed 5 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)