Concurrent Program Design in the Extended Theory of Owicki and Gries

Goldson, D. W. and Dongol, B. M. S. (2005). Concurrent Program Design in the Extended Theory of Owicki and Gries. In: Atkinson, Mike and Dehne, Frank, Theory of Computing. Computing: The Australasian Theory Symposium (CATS2005), Newcastle, Australia, (41-50). 30 January - 3 February 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
dek.pdf dek.pdf application/pdf 161.96KB 0 Click to show the corresponding preview/stream application/postscript 343.31KB 0
Author Goldson, D. W.
Dongol, B. M. S.
Title of paper Concurrent Program Design in the Extended Theory of Owicki and Gries
Conference name Computing: The Australasian Theory Symposium (CATS2005)
Conference location Newcastle, Australia
Conference dates 30 January - 3 February 2005
Proceedings title Theory of Computing   Check publisher's open access policy
Journal name Conferences in Research and Practice in Information Technology Series   Check publisher's open access policy
Place of Publication Sydney, Australia
Publisher ACS
Publication Year 2005
Sub-type Fully published paper
ISBN 1920682236
ISSN 1445-1336
Editor Atkinson, Mike
Dehne, Frank
Volume 41
Start page 41
End page 50
Total pages 10
Language eng
Abstract/Summary Feijen and van Gasteren have shown how to use the theory of Owicki and Gries to design concurrent programs, however, the lack of a formal theory of progress has meant that these designs are driven entirely by safety requirements. Proof of progress requirements are made post-hoc to the derivation and are operational in nature. In this paper, we describe the use of an extended theory of Owicki and Gries in concurrent program design. The extended theory incorporates a logic of progress, which provides opportunity to develop a program in a manner that gives proper consideration to progress requirements. Dekker's algorithm for two process mutual exclusion is chosen to illustrate the use of the extended theory.
Subjects 280302 Software Engineering
280499 Computation Theory and Mathematics not elsewhere classified
280403 Logics and Meanings of Programs
280300 Computer Software
700100 Computer Software and Services
700199 Computer software and services not elsewhere classified
Keyword Owicki-Gries
program design
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 17 Feb 2005, 10:00:00 EST by Brijesh Dongol on behalf of School of Information Technol and Elec Engineering