Structured operational semantics and bisimulation as a congruence

J.F. Groote, F.W. Vaandrager

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages18
    Publication statusPublished - 1988

    Publication series

    NameCWI report. CS-R
    Volume8845
    ISSN (Print)0169-118X

    Cite this

    Groote, J. F., & Vaandrager, F. W. (1988). Structured operational semantics and bisimulation as a congruence. (CWI report. CS-R; Vol. 8845). Centrum voor Wiskunde en Informatica.