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

    Verhoef, C. (1994). A congruence theorem for structured operational semantics with predicates and negative. In B. Jonsson, & J. Parrow (Eds.), CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994) (pp. 433-448). (Lecture Notes in Computer Science; Vol. 836). Springer. https://doi.org/10.1007/BFb0015024