On modelling mobility

DOI10.1016/S0304-3975(99)00230-3MaRDI QIDQ1575151zbMATH OpenFDO

Authors Roberto M. Amadio

Publication date 21 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

mobilitybisimulationcalculuslocalities

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On mobility and communication
• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1231690
• scientific article; zbMATH DE number 2102772

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

Describes a project that uses

Uses Software

• Oz
• Erlang

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)