The following pages link to (Q4508309):
Displaying 12 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← 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)
- Mobile objects as mobile processes (Q2497145) (← links)
- A symbolic procedure for control reachability in the asynchronous \(\pi\)-calculus (extended abstract) (Q2847412) (← 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)