The following pages link to (Q4508306):
Displaying 5 items.
- Mobile objects as mobile processes (Q2497145) (← links)
- On the expressive power of polyadic synchronisation in \(\pi \)-calculus (Q2842599) (← links)
- Relating two semantics of locally scoped names (Q2915698) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)