Transition system specification in stalk format with bisimulation as a congruence

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)
    RedacteurenP. Enjalbert, E.W. Mayr, K.W. Wagner
    UitgeverijSpringer
    Pagina's569-580
    ISBN van geprinte versie3-540-57785-8
    StatusGepubliceerd - 1994

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume775
    ISSN van geprinte versie0302-9743

    Citeer dit