On the Expressiveness of the Ambient Logic
From MaRDI portal
Publication:5310656
DOI10.2168/LMCS-2(2:3)2006zbMath1126.68056MaRDI QIDQ5310656
Etienne Lozes, Davide Sangiorgi, Daniel Hirschkoff
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-2(2:3)2006
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A spatial equational logic for the applied \(\pi \)-calculus, Probabilistic mobile ambients, A Spatial Equational Logic for the Applied π-Calculus
Uses Software