On Mobility and Communication

Authors:
Wenjie Du;Yuxin Deng
Affiliations:
Shanghai Jiao Tong University, Shanghai, China;Shanghai Jiao Tong University, Shanghai, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 6
Cited 0

A calculus of mobile processes, II

Information and Computation
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile ambients

Theoretical Computer Science
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
An Asynchronous Model of Locality, Failurem and Process Mobility

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

By imposing three semantic constraints on the @p-calculus equipped with delayed input, we obtain a variant of the @p-calculus. We prove that Hennessy and Riely's distributed @p-calculus can be encoded into this new model, satisfying a full abstraction theorem, which means that one-dimensional mobility can be characterized by communication. We also discuss the difficulties of expressing two-dimensional mobility, the mechanism used by ambient calculi.