Extensionality and Intensionality of the Ambient Logics

Cached

Download Links

by Davide Sangiorgi
Citations:41 - 2 self

Documents Related by Co-Citation

814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
164 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
137 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
46 Logical properties of name restriction – Luca Cardelli, Andrew D. Gordon - 2001
11 expressiveness and decidability in the ambient logic, in – D Hirschkoff, É Lozes, D Sangiorgi, Separability
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
94 Seal: A Framework for Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1999
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
54 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
63 A Query Language Based on the Ambient Logic – Luca Cardelli, Giorgio Ghelli - 2001
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
9 Decidability of Freshness, Undecidability of Revelation – Giorgio Ghelli, Giovanni Conforti - 2003
146 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
36 The decidability of model checking mobile ambients – Witold Charatonik - 2001
62 Bisimulation for higher-order process calculi – Davide Sangiorgi - 1996
39 A calculus of mobile resources – Jens Christian Godskesen, Thomas Hildebrandt, Vladimiro Sassone - 2002
155 Types for mobile ambients – Luca Cardelli, Andrew D. Gordon - 1999