On the Expressiveness of the Ambient Logic

Daniel Hirschkoff Étienne Lozes Davide Sangiorgi On the Expressiveness of the Ambient Logic http://arxiv.org/abs/cs/0510010 2005 CoRR abs/cs/0510010 db/journals/corr/corr0510.html#abs-cs-0510010 informal publication