|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
148
|
Anytime, anywhere: modal logics for mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 2000
|
|
121
|
A Spatial Logic for Concurrency (Part I)
– Luis Caires, Luca Cardelli
- 2002
|
|
43
|
Logical properties of name restriction
– Luca Cardelli, Andrew D. Gordon
- 2001
|
|
10
|
Separability, Expressiveness and Decidability in the Ambients Logic
– D Hirschkoff, E Lozes, D Sangiorgi
- 2002
|
|
87
|
Seal: A Framework for Secure Mobile Computations
– Jan Vitek, Giuseppe Castagna
- 1999
|
|
56
|
Equational properties of mobile ambients
– Andrew D. Gordon, Luca Cardelli
- 1999
|
|
127
|
A New Approach to Abstract Syntax Involving Binders
– Murdoch Gabbay, Andrew Pitts
- 1999
|
|
367
|
The ⇡-calculus: A Theory of Mobile Processes
– Davide Sangiorgi, David Walker
- 2001
|
|
238
|
Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms
– D Sangiorgi
- 1992
|
|
117
|
Controlling Interference in Ambients
– Francesca Levi, Davide Sangiorgi
- 2000
|
|
51
|
Bisimulation Congruences in Safe Ambients
– Massimo Merro, Matthew Hennessy
- 2001
|
|
57
|
A Query Language Based on the Ambient Logic
– Luca Cardelli, Giorgio Ghelli
- 2001
|
|
9
|
Decidability of Freshness, Undecidability of Revelation
– Giorgio Ghelli, Giovanni Conforti
- 2003
|
|
32
|
The decidability of model checking mobile ambients
– Witold Charatonik
- 2001
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
48
|
Bisimulation for higher-order process calculi
– Davide Sangiorgi, Inria Sophia Antipolis
- 1996
|
|
39
|
A calculus of mobile resources
– Jens Christian Godskesen, Thomas Hildebrandt, Vladimiro Sassone
- 2002
|
|
142
|
Types for mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1999
|
