Proving Congruence of Bisimulation in Functional Programming Languages

Douglas J. Howe. Proving Congruence of Bisimulation in Functional Programming Languages. Inf. Comput., 124(2):103-112, 1996.

Abstract

Abstract is missing.