A Spatial Equational Logic for the Applied π-Calculus

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

Etienne Lozes, Jules Villard

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

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, A Spatial Equational Logic for the Applied π-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