On mobility and communication
From MaRDI portal
Publication:2994477
DOI10.1016/J.ENTCS.2009.11.024zbMATH Open1342.68228OpenAlexW2168061742MaRDI QIDQ2994477FDOQ2994477
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
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (14)
- On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
- On the relative expressive power of calculi for mobility
- Mobile values, new names, and secure communication
- A calculus of mobile processes. I
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
- Denotational semantics of channel mobility in UTP-CSP
- PRISMA: A Mobile Calculus with Parametric Synchronization
- Encoding mobile ambients into the \(\pi \)-calculus
- Controlling Process Modularity in Mobile Computing
- Title not available (Why is that?)
- Reflecting mobile ambients into the \(\pi \)-calculus
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- Variations on mobile processes
- A taxonomy of process calculi for distribution and mobility
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)