Barbed congruence of asymmetry and mismatch

Authors:
Xiao-Ju Dong;Yu-Xi Fu
Affiliations:
BASICS, Department of Computer Science, Shanghai Jiao Tong University, Shanghai, China;BASICS, Department of Computer Science, Shanghai Jiao Tong University, Shanghai, China
Venue:
Journal of Computer Science and Technology
Year:
2007

Citing 9
Cited 0

Variations on mobile processes

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
Understanding the mismatch combinator in Chi calculus

Theoretical Computer Science
Barbed Bisimulation

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Concurrent Constraints in the Fusion Calculus

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
The Tau-Laws of Fusion

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
A Proof Theoretical Approach to Communication

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Bisimulation congruence of ℵ-calculus

Information and Computation
Tau laws for pi calculus

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The χ calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.