A congruence theorem for structured operational semantics with predicates

J.C.M. Baeten, C. Verhoef

    Onderzoeksoutput: Boek/rapportRapportAcademic

    107 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's18
    StatusGepubliceerd - 1993

    Publicatie series

    NaamComputing science notes
    Volume9305

    Citeer dit