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]

No reviews for this publication, yet.