A calculus of mobile processes, II
Information and Computation
A theory of bisimulation for the &lgr;-calculus
Acta Informatica
Variations on mobile processes
Theoretical Computer Science
Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
The Update Calculus (Extended Abstract)
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
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
APDC '97 Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97)
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
The early and late congruences for asymmetric χ≠ -calculus
CIS'04 Proceedings of the First international conference on Computational and Information Science
| Hi-index | 0.00 |
The paper carries out a systematic investigation into the axiomatization problem of the asymmetric chi calculus. As a crucial step in attacking the problem, an open style bisimilarity is defined for each of the eighteen L-bisimilarities and the two are proved to be equal. On top of the open bisimilarities, explicit definitions of the eighteen L-congruences are given, which suggest immediately possible axioms for the congruence relations. In addition to the axioms for strong bisimilarity, the paper proposes altogether twenty one additional axioms, three of which being the well-known tau laws and the other eighteen being new. These axioms help to lift a complete system for the strong bisimilarity to complete systems for the eighteen L-congruences.