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 calculations! 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. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Dongol, B., & Mooij, A. J. (2006). Progress in deriving concurrent programs: Emphasizing the role of stable guards. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4014 LNCS, pp. 140–161). Springer Verlag. https://doi.org/10.1007/11783596_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
