Bisimulations for a Distributed Higher Order π-Calculus

DOI10.1007/978-3-540-75292-9_7MaRDI QIDQ3525077zbMATH OpenOpenAlexFDO

Authors Zining Cao

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75292-9_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Logic for Distributed Higher Order π-Calculus
• Sound bisimulations for higher-order distributed process calculus
• Foundations of Software Science and Computation Structures
• More on bisimulations for higher order \(\pi\)-calculus
• On Bisimulation Theory in Linear Higher-Order π-Calculus

Cited in

(14)

• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract)
• A higher-order distributed calculus with name creation
• Sound bisimulations for higher-order distributed process calculus
• A Logic for Distributed Higher Order π-Calculus
• Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
• On Bisimulation Theory in Linear Higher-Order π-Calculus
• scientific article; zbMATH DE number 1956558 (Why is no real title available?)
• More on bisimulations for higher order \(\pi\)-calculus
• scientific article; zbMATH DE number 1500657 (Why is no real title available?)
• Decidable fragments of a higher order calculus with locations
• Foundations of Software Science and Computation Structures
• On bisimulations for the asynchronous π-calculus
• Bisimulation for higher-order process calculi

This page was built for publication: Bisimulations for a Distributed Higher Order π-Calculus

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