A congruence rule format with universal quantification

M. Mousavi, M.A. Reniers

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

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland
    EditorsR. Glabbeek, van, M. Hennessy
    Publication statusPublished - 2007

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    ISSN (Print)1571-0061

    Cite this