A Theory of Weak Bisimulation for Core CML.

William Ferreira, Matthew Hennessy, Alan Jeffrey

Browse the full ICFP paper archive.