A Spatial Equational Logic for the Applied π-Calculus

DOI10.1007/978-3-540-85361-9_31zbMath1160.03313OpenAlexW113287545MaRDI QIDQ3541032

Jules Villard, Etienne Lozes

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_31

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 (2)

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

Cites Work

• A calculus and logic of resources and processes
• Expressiveness and complexity of graph logic
• A calculus of mobile processes. I
• A spatial logic for concurrency. I
• A Spatial Equational Logic for the Applied π-Calculus
• Observing Distributed Computation. A Dynamic-Epistemic Approach
• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• BI as an assertion language for mutable data structures
• Mobile values, new names, and secure communication
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A Logical Characterisation of Static Equivalence
• On the Expressiveness of the Ambient Logic
• CONCUR 2004 - Concurrency Theory
• Static Analysis
• Foundations of Software Science and Computational Structures

This page was built for publication: A Spatial Equational Logic for the Applied π-Calculus