A coordination approach to mobile components
From MaRDI portal
Publication:1770368
DOI10.1016/j.tcs.2004.09.025zbMath1070.68010OpenAlexW1979972126MaRDI QIDQ1770368
Martin Wirsing, Dirk Pattinson
Publication date: 6 April 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.09.025
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A transition system semantics for the control-driven coordination language MANIFOLD
- Mobile ambients
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Behavioural typing for safe ambients
- A theory of bisimulation for the \(\pi\)-calculus
- Types for the ambient calculus
- The Logic of Bunched Implications
- Configuration and dynamic reconfiguration of components using the coordination paradigm
- Controlling interference in ambients
- Anytime, anywhere
- Extensionality and intensionality of the ambient logics
- Bisimulation congruences in safe ambients
- Generative communication in Linda
- Formal Methods for Components and Objects
- Formal Methods for Components and Objects
- Formal Methods for Components and Objects
This page was built for publication: A coordination approach to mobile components
