An omega-complete equational specification of interleaving

W.J. Fokkink, S.P. Luttik

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

    Original languageEnglish
    Title of host publicationAutomata, Languages and Programming (Proceedings 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000)
    EditorsU. Montanari, J.D.P. Rolim, W. Welzl
    Place of PublicationBerlin
    ISBN (Print)3-540-67715-1
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743

    Cite this