On the Expressiveness of the Ambient Logic

DOI10.2168/LMCS-2(2:3)2006zbMATH Open1126.68056OpenAlexW2082884063MaRDI QIDQ5310656FDOQ5310656

Authors: Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi 

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

Recommendations

• Separability in the Ambient Logic
• Extensionality and intensionality of the ambient logics
• scientific article; zbMATH DE number 1692931
• TQL: a query language for semistructured data based on the ambient logic
• On the expressiveness of pure mobile ambients

Mathematics Subject Classification ID

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

Cited In (7)

• A spatial equational logic for the applied \(\pi \)-calculus
• Probabilistic mobile ambients
• Determining the environment: a modal logic for closed interaction
• Hybrid Logical Analyses of the Ambient Calculus
• Title not available (Why is that?)
• Separability in the Ambient Logic
• A Spatial Equational Logic for the Applied π-Calculus

Uses Software

• KORALZ

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310656)