Anytime, anywhere
Top Cited Papers
- 5 January 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 365-377
- https://doi.org/10.1145/325694.325742
Abstract
The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose of the calculus is to study mobility, which is seen as the change of spatial configurations over time. In order to describe properties of mobile computations we devise a modal logic that can talk about space as well as time, and that has the Ambient Calculus as a model.Keywords
This publication has 8 references indexed in Scilit:
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- A multiset semantics for the pi-calculus with replicationTheoretical Computer Science, 1996
- A logical view of compositionTheoretical Computer Science, 1993
- The linear abstract machineTheoretical Computer Science, 1988
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Semantics for relevant logicsThe Journal of Symbolic Logic, 1972
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935