Separability, Expressiveness, and Decidability in the Ambient Logic.

Daniel Hirschkoff, tienne Lozes, Davide Sangiorgi

Browse the full LICS paper archive.