More on bisimulations for higher order -calculus

DOI10.1016/J.TCS.2012.04.014zbMATH Open1277.68170OpenAlexW2053976095MaRDI QIDQ442289FDOQ442289

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

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

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)

Cites Work

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

Cited In (10)

• Equivalence Checking for a Finite Higher Order π-Calculus
• Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
• Title not available (Why is that?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Foundations of Software Science and Computation Structures
• Bisimulations for a Distributed Higher Order π-Calculus
• 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)