A Spatial Equational Logic for the Applied π-Calculus

DOI10.1007/978-3-540-85361-9_31MaRDI QIDQ3541032zbMATH OpenOpenAlexFDO

Authors 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

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 \(\pi \)-calculus
• A Logic for Distributed Higher Order π-Calculus
• Foundations of Software Science and Computation Structures
• An extensional spatial logic for mobile processes
• Hybrid Systems: Computation and Control

Cites work

• A calculus and logic of resources and processes
• A calculus of mobile processes. I
• A logical characterisation of static equivalence
• A Spatial Equational Logic for the Applied π-Calculus
• A spatial logic for concurrency. I
• Anytime, anywhere: modal logics for mobile ambients
• BI as an assertion language for mutable data structures
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Expressiveness and complexity of graph logic
• Extensionality and intensionality of the ambient logics
• From separation logic to first-order logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Generalized records and spatial conjunction in role logic
• Mobile values, new names, and secure communication
• Observing Distributed Computation. A Dynamic-Epistemic Approach
• On the Expressiveness of the Ambient Logic

Cited in

(9)

• A spatial logic for concurrency. II
• 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
• An extensional spatial logic for mobile processes
• A spatial equational logic for the applied \(\pi \)-calculus

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

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