On Mobility and Communication | Zendy

Wenjie Du | Zendy; Yuxin Deng | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On Mobility and Communication

Author(s) -

Wenjie Du,

Yuxin Deng

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.11.024

Subject(s) - abstraction , calculus (dental) , pi calculus , computer science , mathematics , algebra over a field , theoretical computer science , pure mathematics , medicine , philosophy , dentistry , epistemology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research