A spatial equational logic for the applied \(\pi \)-calculus
From MaRDI portal
Publication:992517
DOI10.1007/s00446-010-0112-6zbMath1231.68171MaRDI QIDQ992517
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
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
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