William Ferreira, Matthew Hennessy, Alan Jeffrey. A Theory of Weak Bisimulation for Core CML. In ICFP. pages 201-212, 1996.
@inproceedings{FerreiraHJ96, title = {A Theory of Weak Bisimulation for Core CML}, author = {William Ferreira and Matthew Hennessy and Alan Jeffrey}, year = {1996}, researchr = {https://researchr.org/publication/FerreiraHJ96}, cites = {0}, citedby = {0}, pages = {201-212}, booktitle = {ICFP}, }