On modelling mobility
From MaRDI portal
Publication:1575151
Recommendations
Cites work
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- scientific article; zbMATH DE number 1223739 (Why is no real title available?)
- scientific article; zbMATH DE number 1231689 (Why is no real title available?)
- scientific article; zbMATH DE number 1231691 (Why is no real title available?)
- scientific article; zbMATH DE number 1088219 (Why is no real title available?)
- scientific article; zbMATH DE number 2077122 (Why is no real title available?)
- A calculus of mobile agents
- A calculus of mobile processes. II
- From a concurrent λ-calculus to the π-calculus
- Impossibility of distributed consensus with one faulty process
- Mobile ambients
- On bisimulations for the asynchronous \(\pi\)-calculus
- On the expressiveness of internal mobility in name-passing calculi
- Plain CHOCS. A second generation calculus for higher order processes
- Renaming in an asynchronous environment
- The name discipline of uniform receptiveness
- The weakest failure detector for solving consensus
- Unreliable failure detectors for reliable distributed systems
Cited in
(14)- Full abstraction for expressiveness: history, myths and facts
- Global Computing
- Weighted Relational Models for Mobility
- scientific article; zbMATH DE number 5197122 (Why is no real title available?)
- Names of the \(\pi\)-calculus agents handled locally
- On mobility and communication
- A distributed \(\pi\)-calculus with local areas of communication
- scientific article; zbMATH DE number 1569119 (Why is no real title available?)
- COMPLEXCITY: MODELING URBAN MOBILITY
- Controlling Process Modularity in Mobile Computing
- Nomadic Pict: correct communication infrastructure for mobile computation
- What is a ``good encoding of guarded choice?
- A taxonomy of process calculi for distribution and mobility
- Basic observables for a calculus for global computing
This page was built for publication: On modelling mobility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575151)