A congruence theorem for structured operational semantics with predicates and negative

C. Verhoef

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationCONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)
    EditorsB. Jonsson, J. Parrow
    Place of PublicationBerlin
    PublisherSpringer
    Pages433-448
    ISBN (Print)3-540-58328-7
    DOIs
    Publication statusPublished - 1994

    Publication series

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

    Cite this