Concise graphs and functional bisimulations

L. Cheung, J.L. Hughes

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science, 100. Special issue for CMCIM/GETCO 2003 workshops
Place of PublicationBerlin
PublisherSpringer
Publication statusPublished - 2004

Cite this

Cheung, L., & Hughes, J. L. (2004). Concise graphs and functional bisimulations. In Electronic Notes in Theoretical Computer Science, 100. Special issue for CMCIM/GETCO 2003 workshops Springer.