Abstract
Charmed by the ease with which [vdS95] shows that its program makes progress, I state a theorem that allows for showing progress of a UNITY-like program in an easy way. I also give a proof of that theorem.
References
Chandy, K.M. and Misra, J.:Parallel Program Design: A Foundation. Addison-Wesley, 1988.
J.L.A. van de Snepscheut. The sliding-window protocol revisited.Formal Aspects of Computing, 7, 1995.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Leino, K.R.M. A method for showing progress. Formal Aspects of Computing 7, 576–580 (1995). https://doi.org/10.1007/BF01211633
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01211633