The decidability of model checking mobile ambients (2001)

by Witold Charatonik, Jean-Marc Talbot
Venue:In Proc. of CSL, volume 2142 of LNCS