The early and late congruences for asymmetric χ≠ -calculus

Authors:
Farong Zhong
Affiliations:
Department of Computer Science, Shanghai Jiaotong University, Shanghai, China
Venue:
CIS'04 Proceedings of the First international conference on Computational and Information Science
Year:
2004

Citing 10
Cited 0

A theory of bisimulation for the &lgr;-calculus

Acta Informatica
Variations on mobile processes

Theoretical Computer Science
Understanding the mismatch combinator in Chi calculus

Theoretical Computer Science
Bisimulation Lattice of Chi Processes

ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
The Tau-Laws of Fusion

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Open Bisimulations on Chi Processes

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Chi Calculus with Mismatch

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Ground Congruence for Chi Calculus

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper investigates into the early and late congruences on the asymmetric χ≠-processes. The two bisimilarities are defined and their closure properties are given. Sound and complete equational systems are constructed for both congruences.