The following pages link to On modelling mobility (Q1575151):
Displaying 11 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)
- On Mobility and Communication (Q2994477) (← links)
- COMPLEXCITY: MODELING URBAN MOBILITY (Q3520397) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- (Q5309846) (← links)
- Weighted Relational Models for Mobility (Q5369489) (← links)
- Global Computing (Q5464832) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)