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:36 - 6 self

Documents Related by Co-Citation

164 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
63 A Query Language Based on the Ambient Logic – Luca Cardelli, Giorgio Ghelli - 2001
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
49 Computability and complexity results for a spatial assertion language for data structures – Cristiano Calcagno, Hongseok Yang, Peter W. O’hearn - 2001
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
41 Extensionality and Intensionality of the Ambient Logics – Davide Sangiorgi
31 Manipulating Trees with Hidden Labels – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2003
272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
62 A Spatial Logic for Querying Graphs – Luca Cardelli, Philippa Gardner, Giorgio Ghelli - 2001
11 expressiveness and decidability in the ambient logic, in – D Hirschkoff, É Lozes, D Sangiorgi, Separability
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
146 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
162 as an assertion language for mutable data structures – BI - 2001
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
25 TQL: A Query Language for Semistructured Data Based on the Ambient Logic – Luca Cardelli, Giorgio Ghelli - 2003