The following pages link to (Q2852065):
Displaying 9 items.
- Theory of interaction (Q896903) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Fair Π (Q2866341) (← links)
- Expressiveness of Process Algebras (Q2870198) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
