Anytime, anywhere: modal logics for mobile ambients

By Luca Cardelli, A. Gordon. ACM-SIGACT Symposium on Principles of Programming Languages, 2000

401 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Separation logic: a logic for shared mutable data structures (2002, background): “A more precise name might be storage separation logics, since it is becoming apparent that the underlying idea can be generalized to describe the separation of other kinds of resources [3, 11, 12, 9, 10].”
BI as an assertion language for mutable data structures (2011, neutral): “There are two other closely related pieces of work to report on. The rst is work of Cardelli and Gordon on Ambient Logic [ 8 ], a logic for mobile ambients.”
Resources, Concurrency and Local Reasoning (2004, background): “A line of work that bears a formal similarity to ours is that of Caires, Cardelli and Gordon on logics for process calculi [ 6 , 5]. Like here, they use a mixture of substructural logic and ordinary classical logic and, like here, they consider concurrency.”
A spatial logic for concurrency (part I) (2003, methodology): “Previous work [10] has considered also whether a system is composed of named locations; in that case, the notion of spatial structure is particularly natural.”