Concise Graphs and Functional Bisimulations

Ling Cheung, Jesse Hughes. Concise Graphs and Functional Bisimulations. Electronic Notes in Theoretical Computer Science, 100:5-29, 2004. [doi]

Abstract

Abstract is missing.