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

Dongol, Brijesh and Mooij, Arjan J. (2006). Progress in deriving concurrent programs: Emphasizing the role of stable guards. In: T. Uustalu, Lecture Notes in Computer Science: Mathematics of Program Construction. 8th International Conference on Mathematics of Program Construction, MPC '06, Kuressaare, Estonia, (140-161). 3-5 July, 2006. doi:10.1007/11783596

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
MIC12UQ93237.pdf Full text - not publicly available application/pdf 216.95KB 2

Author Dongol, Brijesh
Mooij, Arjan J.
Title of paper Progress in deriving concurrent programs: Emphasizing the role of stable guards
Conference name 8th International Conference on Mathematics of Program Construction, MPC '06
Conference location Kuressaare, Estonia
Conference dates 3-5 July, 2006
Proceedings title Lecture Notes in Computer Science: Mathematics of Program Construction   Check publisher's open access policy
Journal name Mathematics of Program Consstruction   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2006
Sub-type Fully published paper
DOI 10.1007/11783596
ISBN 9783540356318
ISSN 0302-9743
1611-3349
Editor T. Uustalu
Volume 4014
Start page 140
End page 161
Total pages 22
Language eng
Abstract/Summary 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 Casteren 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.
Subjects 08 Information and Computing Sciences
0802 Computation Theory and Mathematics
Keyword Computer Science, Theory & Methods
Stable guards
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 9 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 4 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sun, 19 Aug 2007, 20:46:53 EST