Observing Asymmetry and Mismatch

The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity is used to give a general picture of how the two constructions affect the observational theory. 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.

• Type: Conference
• Year: 2003
• Where: APLAS
• Authors: Xiaoju Dong, Yuxi Fu
• Keywords: APLAS 2003, Asymmetric Communication, Chi Calculus, Mismatch Condition