The following pages link to On Mobility and Communication (Q2994477):
Displaying 9 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- A calculus of mobile processes. I (Q1198548) (← links)
- On modelling mobility (Q1575151) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- From π-calculus to higher-order π-calculus — and back (Q5044732) (← links)
- Mobile values, new names, and secure communication (Q5178877) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897112) (← links)