A spatial equational logic for the applied \(\pi \)-calculus

DOI10.1007/s00446-010-0112-6zbMath1231.68171MaRDI QIDQ992517

Etienne Lozes, Jules Villard

Publication date: 9 September 2010

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-010-0112-6

zbMATH Keywords

spatial logic; applied \(\pi\)-calculus

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• SLMC

Cites Work

• A new approach to abstract syntax with variable binding
• A calculus and logic of resources and processes
• Deciding knowledge in security protocols under equational theories
• A calculus of mobile processes. I
• A spatial logic for concurrency. I
• Automated verification of selected equivalences for security protocols
• Deciding validity in a spatial logic for trees
• Separability in the Ambient Logic
• A Spatial Equational Logic for the Applied π-Calculus
• On the Relationship between Spatial Logics and Behavioral Simulations
• Observing Distributed Computation. A Dynamic-Epistemic Approach
• Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• Mobile values, new names, and secure communication
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Context logic and tree update
• On the Expressiveness of the Ambient Logic
• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory