On mobility and communication

DOI10.1016/J.ENTCS.2009.11.024MaRDI QIDQ2994477zbMATH OpenOpenAlexFDO

Authors Wenjie Du, Yuxin Deng

Publication date 1 August 2016

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

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.024

zbMATH Keywords

communicationmobilitydelayed inputdistributed \(\pi\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A calculus of mobile processes. I
• Reflecting mobile ambients into the \(\pi \)-calculus
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• On the relative expressive power of calculi for mobility
• On modelling mobility

Cites work

• scientific article; zbMATH DE number 1231689 (Why is no real title available?)
• scientific article; zbMATH DE number 1500657 (Why is no real title available?)
• A calculus of mobile agents
• A calculus of mobile processes. II
• Mobile ambients
• On the expressive power of polyadic synchronisation in \(\pi \)-calculus
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(14)

• From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
• Variations on mobile processes
• Denotational semantics of channel mobility in UTP-CSP
• PRISMA: A Mobile Calculus with Parametric Synchronization
• A calculus of mobile processes. I
• On the relative expressive power of calculi for mobility
• On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
• Controlling Process Modularity in Mobile Computing
• A taxonomy of process calculi for distribution and mobility
• Reflecting mobile ambients into the \(\pi \)-calculus
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• Mobile values, new names, and secure communication
• scientific article; zbMATH DE number 1949603 (Why is no real title available?)
• Encoding mobile ambients into the \(\pi \)-calculus

This page was built for publication: On mobility and communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994477)