Progress in deriving concurrent programs : emphasizing the role of stable guards

B. Dongol, A.J. Mooij

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

    11 Citations (Scopus)


    We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Gasteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.
    Original languageEnglish
    Title of host publicationMathematics of Program Construction (Proceedings 8th International Conference, MPC'06, Kuressaare, Estonia, July 3-5, 2006)
    EditorsT. Uustalu
    Place of PublicationBerlin
    ISBN (Print)3-540-35631-2
    Publication statusPublished - 2006

    Publication series

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


    Dive into the research topics of 'Progress in deriving concurrent programs : emphasizing the role of stable guards'. Together they form a unique fingerprint.

    Cite this