Understanding the mismatch combinator in chi calculus

DOI10.1016/S0304-3975(02)00373-0MaRDI QIDQ1853614zbMATH OpenFDO

Authors Yuxi Fu, Zhen-rong Yang

Publication date 21 January 2003

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

Full work available at URL https://doi.org/10.1016/S0304-3975(02)00373-0

zbMATH Keywords

axiomatizationbisimulationchi processprocess algebra

Mathematics Subject Classification ID

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

Recommendations

• Chi calculus with mismatch
• The ground congruence for chi calculus
• Observing asymmetry and mismatch.
• Computational and Information Science
• Tau laws for pi calculus

Cites work

• A calculus of mobile processes. I
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete inference system for a class of regular behaviours
• A proof theoretical approach to communication
• A theory of bisimulation for the -calculus
• Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
• Algebraic theories for name-passing calculi
• Chi calculus with mismatch
• Complete proof systems for observation congruences in finite-control -calculus
• Functions as processes
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• On asynchrony in name-passing calculi
• On barbed equivalences in -calculus
• On reduction-based process semantics
• Open bisimulations on chi processes
• Tau laws for pi calculus
• Testing equivalence for mobile processes
• The chemical abstract machine
• The ground congruence for chi calculus
• Variations on mobile processes

Cited in

(3)

• The ground congruence for chi calculus
• Chi calculus with mismatch
• Observing asymmetry and mismatch.

This page was built for publication: Understanding the mismatch combinator in chi calculus

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