The following pages link to (Q4223012):
Displaying 4 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Explicit fusions (Q2566040) (← links)
- On the Expressive Power of Polyadic Synchronisation in π-calculus (Q2842599) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
