Open Maps, Behavioural Equivalences, and Congruences

Allan Cheng, Mogens Nielsen. Open Maps, Behavioural Equivalences, and Congruences. Theoretical Computer Science, 190(1):87-112, 1998. [doi]

Abstract

Abstract is missing.