Extensionality and intensionality of the ambient logics
From MaRDI portal
Publication:5178868
DOI10.1145/360204.375707zbMath1323.68415OpenAlexW2126008038MaRDI QIDQ5178868
Publication date: 17 March 2015
Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360204.375707
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (22)
Specification and refinement of mobile systems in MTLA and mobile UML ⋮ On the expressive power of movement and restriction in pure mobile ambients ⋮ A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ A spatial logic for concurrency. I ⋮ Space-aware ambients and processes ⋮ A Logic for Distributed Higher Order π-Calculus ⋮ Typed context awareness ambient calculus for pervasive applications ⋮ A Spatial Equational Logic for the Applied π-Calculus ⋮ Unnamed Item ⋮ Elimination of spatial connectives in static spatial logics ⋮ On the computational strength of pure ambient calculi ⋮ A coordination approach to mobile components ⋮ A Complete Axiomatic System for a Process-Based Spatial Logic ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ A spatial equational logic for the applied \(\pi \)-calculus ⋮ Probabilistic mobile ambients ⋮ The seal calculus ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ Undecidability of Model Checking in Brane Logic ⋮ Extensionality of Spatial Observations in Distributed Systems
This page was built for publication: Extensionality and intensionality of the ambient logics
