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

    10 Citations (Scopus)

    Abstract

    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
    PublisherSpringer
    Pages140-161
    ISBN (Print)3-540-35631-2
    DOIs
    Publication statusPublished - 2006

    Publication series

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

    Fingerprint

    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