@inproceedings{d8bd6e2ce89f4b6b9052338c2af9f9b1,
title = "Progress in deriving concurrent programs : emphasizing the role of stable guards",
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 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.",
author = "B. Dongol and A.J. Mooij",
year = "2006",
doi = "10.1007/11783596_11",
language = "English",
isbn = "3-540-35631-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "140--161",
editor = "T. Uustalu",
booktitle = "Mathematics of Program Construction (Proceedings 8th International Conference, MPC'06, Kuressaare, Estonia, July 3-5, 2006)",
address = "Germany",
}