More on bisimulations for higher order -calculus

DOI10.1016/J.TCS.2012.04.014MaRDI QIDQ442289zbMATH OpenOpenAlexFDO

Authors Zining Cao

Publication date 10 August 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.04.014

zbMATH Keywords

bisimulationsprocess calculihigher order \(\pi \)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Foundations of Software Science and Computation Structures
• Bisimulation for higher-order process calculi
• Contextual equivalence for higher-order pi-calculus revisited
• On Bisimulation Theory in Linear Higher-Order π-Calculus
• Bisimulations for a Distributed Higher Order π-Calculus

Cites work

• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 1927568 (Why is no real title available?)
• A CPS encoding of name-passing in higher-order mobile embedded resources
• A calculus of mobile processes. II
• A hierarchy of equivalences for asynchronous calculi
• A theory of weak bisimulation for Core CML
• An introduction to the \(\pi\)-calculus.
• Bisimulation for higher-order process calculi
• Bisimulations in the join-calculus
• Contextual equivalence for higher-order pi-calculus revisited
• Foundations of Software Science and Computation Structures
• Global Computing
• On the expressiveness and decidability of higher-order process calculi
• Programming Languages and Systems

Cited in

(11)

• Equivalence Checking for a Finite Higher Order π-Calculus
• Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
• scientific article; zbMATH DE number 6452608 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Foundations of Software Science and Computation Structures
• Bisimulations for a Distributed Higher Order π-Calculus
• Towards `up to context' reasoning about higher-order processes
• On Bisimulation Theory in Linear Higher-Order π-Calculus
• Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
• Sound bisimulations for higher-order distributed process calculus
• More SPASS with Isabelle

This page was built for publication: More on bisimulations for higher order \(\pi\)-calculus

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