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)

zbMATH Keywords

process algebraaxiomatizationbisimulationchi process

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1759638
• scientific article; zbMATH DE number 2080218
• Observing asymmetry and mismatch.
• Computational and Information Science
• Tau laws for pi calculus

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1223723 (Why is no real title available?)
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 1361130 (Why is no real title available?)
• scientific article; zbMATH DE number 2080218 (Why is no real title available?)
• scientific article; zbMATH DE number 1759638 (Why is no real title available?)
• scientific article; zbMATH DE number 1863170 (Why is no real title available?)
• 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
• Functions as processes
• On reduction-based process semantics
• Tau laws for pi calculus
• Testing equivalence for mobile processes
• The chemical abstract machine
• Variations on mobile processes

Cited in

(3)

• Observing asymmetry and mismatch.
• scientific article; zbMATH DE number 2080218 (Why is no real title available?)
• scientific article; zbMATH DE number 1759638 (Why is no real title available?)

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)