Testing congruence for mobile processes
Journal of Computer Science and Technology
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
Open Bisimulations on Chi Processes
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
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
Bisimulation congruence of ℵ-calculus
Information and Computation
Theoretical Computer Science
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
A Categorical Model of the Fusion Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Barbed congruence of asymmetry and mismatch
Journal of Computer Science and Technology
Testing equivalence for asymmetric χ-calculus
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
A pure labeled transition semantics for the applied pi calculus
Information Sciences: an International Journal
Formalizing the environment view of process equivalence
CIS'04 Proceedings of the First international conference on Computational and Information Science
The early and late congruences for asymmetric χ≠ -calculus
CIS'04 Proceedings of the First international conference on Computational and Information Science
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
| Hi-index | 5.23 |