Separability in the Ambient Logic
From MaRDI portal
Publication:3535609
DOI10.2168/LMCS-4(3:4)2008zbMath1151.03017MaRDI 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
A spatial equational logic for the applied \(\pi \)-calculus, On the computational strength of pure ambient calculi, When ambients cannot be opened, On the expressive power of movement and restriction in pure mobile ambients, A spatial logic for concurrency. II, Model checking mobile ambients, Elimination of quantifiers and undecidability in spatial logics for concurrency, Unnamed Item