The following pages link to (Q4508309):
Displaying 9 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- 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)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
- Expressiveness of Process Algebras (Q2870198) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
