Extensionality and Intensionality of the Ambient Logics

Cached

Download Links

by Davide Sangiorgi
Citations:43 - 2 self

Documents Related by Co-Citation

816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
163 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
136 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
46 Logical properties of name restriction – Luca Cardelli, Andrew D. Gordon - 2001
3242 Communication and Concurrency – R Milner - 1989
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
12 expressiveness and decidability in the ambient logic – D Hirschkoff, É Lozes, D Sangiorgi, Separability - 2002