Separability in the Ambient Logic
From MaRDI portal
Publication:3535609
DOI10.2168/LMCS-4(3:4)2008zbMath1151.03017OpenAlexW2157410247MaRDI QIDQ3535609
Etienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-4(3:4)2008
Related Items (8)
On the expressive power of movement and restriction in pure mobile ambients ⋮ A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ Unnamed Item ⋮ On the computational strength of pure ambient calculi ⋮ When ambients cannot be opened ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ A spatial equational logic for the applied \(\pi \)-calculus
This page was built for publication: Separability in the Ambient Logic