A congruence theorem for structured operational semantics with predicates and negative premises

C. Verhoef

    Onderzoeksoutput: Boek/rapportRapportAcademic

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

    Publicatie series

    NaamComputing science notes
    Volume9318

    Citeer dit