The decidability of model checking mobile ambients (2001)

Cached

Download Links

by Witold Charatonik
Venue:In Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic, volume 2142 of LNCS
Citations:37 - 6 self

Documents Related by Co-Citation

162 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
812 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
136 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
62 A Query Language Based on the Ambient Logic – Luca Cardelli, Giorgio Ghelli - 2001
46 Logical properties of name restriction – Luca Cardelli, Andrew D. Gordon - 2001
50 Computability and complexity results for a spatial assertion language for data structures – Cristiano Calcagno, Hongseok Yang, Peter W. O’hearn - 2001
713 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
42 Extensionality and Intensionality of the Ambient Logics – Davide Sangiorgi
31 Manipulating Trees with Hidden Labels – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2003
269 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
61 A Spatial Logic for Querying Graphs – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2001
12 expressiveness and decidability in the ambient logic – D Hirschkoff, É Lozes, D Sangiorgi, Separability - 2002
9 Decidability of Freshness, Undecidability of Revelation – Giorgio Ghelli, Giovanni Conforti - 2003
55 A Spatial Logic for Concurrency (Part II) – Luís Caires, Luca Cardelli - 1998
145 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
132 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
160 as an assertion language for mutable data structures – BI - 2001
25 TQL: A Query Language for Semistructured Data Based on the Ambient Logic – Luca Cardelli, Giorgio Ghelli - 2003