A Logic for Distributed Higher Order π-Calculus

DOI10.1007/978-3-540-79228-4_31zbMath1140.68047OpenAlexW1990965794MaRDI QIDQ3502660

Zining Cao

Publication date: 27 May 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_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)

Cites Work

• Unnamed Item
• Contextual equivalence for higher-order \(\pi\)-calculus revisited
• Bisimulation for higher-order process calculi
• Modal logics for mobile processes
• A spatial logic for concurrency. II
• A spatial logic for concurrency. I
• Bisimulations for a Distributed Higher Order π-Calculus
• Reasoning about higher-order processes
• Extensionality and intensionality of the ambient logics
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures

This page was built for publication: A Logic for Distributed Higher Order π-Calculus