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]

Authors

Ling Cheung

This author has not been identified. Look up 'Ling Cheung' in Google

Jesse Hughes

This author has not been identified. Look up 'Jesse Hughes' in Google