A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A theory of weak bisimulation for Core CML
Journal of Functional Programming
Hi-index | 0.00 |