A spatial equational logic for the applied -calculus

DOI10.1007/S00446-010-0112-6MaRDI QIDQ992517zbMATH OpenOpenAlexFDO

Authors Jules Villard, Etienne Lozes

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

applied \(\pi\)-calculusspatial logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Spatial Equational Logic for the Applied π-Calculus
• A Logic for Distributed Higher Order π-Calculus
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory
• Hybrid Systems: Computation and Control

Cites work

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

Cited in

(7)

• A spatial extension to the calculus
• A Logic for Distributed Higher Order π-Calculus
• A Spatial Equational Logic for the Applied π-Calculus
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Hybrid Systems: Computation and Control
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: A spatial equational logic for the applied \(\pi \)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992517)