On the Expressiveness of the Ambient Logic

DOI10.2168/LMCS-2(2:3)2006zbMath1126.68056OpenAlexW2082884063MaRDI 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

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A Spatial Equational Logic for the Applied π-Calculus ⋮ A spatial equational logic for the applied \(\pi \)-calculus ⋮ Probabilistic mobile ambients

Uses Software

• KORALZ

This page was built for publication: On the Expressiveness of the Ambient Logic