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

163 Anytime, anywhere: modal logics for mobile ambients – Luca Cardelli, Andrew D. Gordon - 2000
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
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
270 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
50 Computability and complexity results for a spatial assertion language for data structures – Cristiano Calcagno, Hongseok Yang, Peter W. O’hearn - 2001