On Mobility and Communication

Wenjie Du; Yuxin Deng

doi:10.1016/j.entcs.2009.11.024

On Mobility and Communication

Wenjie Du, Yuxin Deng

Shanghai Jiao Tong University

Research output: Contribution to journal › Article › peer-review

Abstract

By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely's distributed π-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.

Original language	English
Pages (from-to)	19-33
Number of pages	15
Journal	Electronic Notes in Theoretical Computer Science
Volume	257
DOIs	https://doi.org/10.1016/j.entcs.2009.11.024
State	Published - 3 Dec 2009
Externally published	Yes

Keywords

communication
delayed input
distributed π-calculus
mobility

Access to Document

10.1016/j.entcs.2009.11.024

Cite this

@article{ea02089bc7d84fcfb8ee71a340df616e,

title = "On Mobility and Communication",

abstract = "By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely's distributed π-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.",

keywords = "communication, delayed input, distributed π-calculus, mobility",

author = "Wenjie Du and Yuxin Deng",

year = "2009",

month = dec,

day = "3",

doi = "10.1016/j.entcs.2009.11.024",

language = "英语",

volume = "257",

pages = "19--33",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - On Mobility and Communication

AU - Du, Wenjie

AU - Deng, Yuxin

PY - 2009/12/3

Y1 - 2009/12/3

N2 - By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely's distributed π-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.

AB - By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely's distributed π-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.

KW - communication

KW - delayed input

KW - distributed π-calculus

KW - mobility

UR - https://www.scopus.com/pages/publications/71649098334

U2 - 10.1016/j.entcs.2009.11.024

DO - 10.1016/j.entcs.2009.11.024

M3 - 文章

AN - SCOPUS:71649098334

SN - 1571-0661

VL - 257

SP - 19

EP - 33

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

On Mobility and Communication

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this