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
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
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
Mathematical Structures in Computer Science
From Gene Regulation to Stochastic Fusion
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Barbed congruence of asymmetry and mismatch
Journal of Computer Science and Technology
The early and late congruences for asymmetric χ≠ -calculus
CIS'04 Proceedings of the First international conference on Computational and Information Science
General patterns of interaction in stochastic fusion
Natural Computing: an international journal
Name-Passing Calculi: From Fusions to Preorders and Types
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |