Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of 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
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Bisimulation congruence of ℵ-calculus
Information and Computation
Mathematical Structures in Computer Science
A closer look at constraints as processes
Information Processing Letters
Theoretical Computer Science - Mathematical foundations of computer science 2000
Barbed congruence of asymmetry and mismatch
Journal of Computer Science and Technology
A closer look at constraints as processes
Information Processing Letters
Hi-index | 0.00 |