Proving Congruence of Bisimulation in Functional Programming Languages

• 1 February 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 124  (2) , 103-112
• https://doi.org/10.1006/inco.1996.0008

Abstract