Observing Asymmetry and Mismatch

Abstract. The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communica-tion and mismatch condition. The barbed bisimilarity is used to give a general picture of how the two constructions affect the observational the-ory. Both the operational properties and the algebraic properties of the enriched calculus are investigated to support an improved understanding of the bisimulation behaviors of the model.