Process algebra with guards : combining Hoare logic with process algebra (Extended abstract)

J.F. Groote, A.J. Ponse

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

    Original languageEnglish
    Title of host publicationCONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)
    EditorsJ.C.M. Baeten, J.F. Groote
    Place of PublicationBerlin
    ISBN (Print)3-540-54430-5
    Publication statusPublished - 1991

    Publication series

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

    Cite this