Brijesh Dongol ; Doug Goldson - Extending the theory of Owicki and Gries with a logic of progress

lmcs:2260 - Logical Methods in Computer Science, March 10, 2006, Volume 2, Issue 1 - https://doi.org/10.2168/LMCS-2(1:6)2006
Extending the theory of Owicki and Gries with a logic of progressArticle

Authors: Brijesh Dongol ORCID; Doug Goldson

    This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

    https://doi.org/10.2168/LMCS-2(1:6)2006
    Source: arXiv.org:cs/0512012
    Volume: Volume 2, Issue 1
    Published on: March 10, 2006
    Submitted on: January 12, 2005
    Keywords: Computer Science - Logic in Computer Science,D.2.4,D.3.1,F.3.1
    Licence: arXiv.org - Assumed non-exclusive license to distribute

    7 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 1079 times.
    This article's PDF has been downloaded 256 times.