The following pages link to (Q4448369):
Displaying 6 items.
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
