An extensional spatial logic for mobile processes

DOI10.1007/978-3-540-28644-8_21MaRDI QIDQ5311483zbMATH OpenOpenAlexFDO

Authors Daniel Hirschkoff

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100113

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 Spatial Equational Logic for the Applied π-Calculus
• A predicate spatial logic for mobile process
• Foundations of Software Science and Computation Structures
• A spatial logic for concurrency. I

Cited in

(12)

• A spatial logic for concurrency. I
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Extensionality of spatial observations in distributed systems
• A Logic for Distributed Higher Order π-Calculus
• Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
• A Spatial Equational Logic for the Applied π-Calculus
• Extensionality and intensionality of the ambient logics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A spatial logic for concurrency. I.
• Modal logics for mobile processes
• A predicate spatial logic for mobile process
• A spatial equational logic for the applied \(\pi \)-calculus

This page was built for publication: An extensional spatial logic for mobile processes

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