On modelling mobility

DOI10.1016/S0304-3975(99)00230-3zbMATH Open0954.68072MaRDI QIDQ1575151FDOQ1575151

Authors: Roberto M. Amadio 

Publication date: 21 August 2000

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Renaming in an asynchronous environment
• Unreliable failure detectors for reliable distributed systems
• A calculus of mobile processes. II
• Impossibility of distributed consensus with one faulty process
• The weakest failure detector for solving consensus
• Title not available (Why is that?)
• A calculus of mobile agents
• Mobile ambients
• The name discipline of uniform receptiveness
• Title not available (Why is that?)
• On the expressiveness of internal mobility in name-passing calculi
• On bisimulations for the asynchronous \(\pi\)-calculus
• Title not available (Why is that?)
• Plain CHOCS. A second generation calculus for higher order processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• From a concurrent λ-calculus to the π-calculus

Cited In (14)

• Title not available (Why is that?)
• Full abstraction for expressiveness: history, myths and facts
• A distributed \(\pi\)-calculus with local areas of communication
• Global Computing
• On mobility and communication
• 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?
• Basic observables for a calculus for global computing
• Title not available (Why is that?)
• A taxonomy of process calculi for distribution and mobility
• Weighted Relational Models for Mobility
• Names of the \(\pi\)-calculus agents handled locally

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)