A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras

Jan Rothe. A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. Electronic Notes in Theoretical Computer Science, 65(1):270-285, 2002. [doi]

Abstract

Abstract is missing.