Generic trace theory

I. Hasuo, B.P.F. Jacobs, A. Sokolova

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

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)
    EditorsN. Ghani, J. Power
    Pages47-65
    DOIs
    Publication statusPublished - 2006

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume164(1)
    ISSN (Print)1571-0061

    Cite this