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

Active Bibliography

9 Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency – Luis Caires - 2004
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
9 Decidability of Freshness, Undecidability of Revelation – Giorgio Ghelli, Giovanni Conforti - 2003
7 Minimality results for the spatial logics – D. Hirschkoff, E. Lozes, D. Sangiorgi - 2003
6 Spatial Tree Logics to Reason about Semistructured Data – Giovanni Conforti, Giorgio Ghelli - 2003
9 Adjuncts elimination in the static ambient logic – Etienne Lozes - 2003
8 Elimination of spatial connectives in static spatial logics – Étienne Lozes - 2003
11 Behavioral and Spatial Observations in a Logic for the π-Calculus – Luís Caires - 2004
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
10 When Ambients Cannot be Opened – Iovka Boneva, Jean-marc Talbot - 2003
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
9 An extensional spatial logic for mobile processes – Daniel Hirschkoff - 2004
Context Logic and Tree Update – Uri Zarfaty
1 BiLog: Spatial Logics for Bigraphs – Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone - 2005
2 Specifying and Implementing Secure Mobile Applications in the Channel Ambient System – Andrew Nicholas John Brojer Phillips - 2005
3 Logical mobility and locality types – Jonathan Moody
21 Modal logic as a basis for distributed computation – Jonathan Moody - 2003
16 A Logic You Can Count On – Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier - 2004