The following pages link to On modelling mobility (Q1575151):
Displaying 6 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
