A Theory of Weak Bisimulation for Core CML

William Ferreira, Matthew Hennessy, Alan Jeffrey. A Theory of Weak Bisimulation for Core CML. In ICFP. pages 201-212, 1996.

Abstract

Abstract is missing.