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. © Springer-Verlag 004.
CITATION STYLE
Zhong, F. (2004). The early and late congruences for asymmetric χ≠-calculus. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3314, 371–378. https://doi.org/10.1007/978-3-540-30497-5_58
Mendeley helps you to discover research relevant for your work.