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

B. Dongol, A.J. Mooij

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)

    Samenvatting

    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.
    Originele taal-2Engels
    TitelMathematics of Program Construction (Proceedings 8th International Conference, MPC'06, Kuressaare, Estonia, July 3-5, 2006)
    RedacteurenT. Uustalu
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's140-161
    ISBN van geprinte versie3-540-35631-2
    DOI's
    StatusGepubliceerd - 2006

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume4014
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Progress in deriving concurrent programs : emphasizing the role of stable guards'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit