Transition system specification in stalk format with bisimulation as a congruence

V. Oostrom, van, E.P. Vink, de

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

    Original languageEnglish
    Title of host publicationProceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)
    EditorsP. Enjalbert, E.W. Mayr, K.W. Wagner
    PublisherSpringer
    Pages569-580
    ISBN (Print)3-540-57785-8
    Publication statusPublished - 1994

    Publication series

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

    Cite this