Chapter PDF
References
K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, 1991.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, Reading, Massachusetts, 1988.
N. Francez. Fairness. Springer-Verlag, 1986.
R. Peña and L.A. Galán. Proving Progress Properties of non Terminating Programs under Fairness Assumptions. Technical Report DIA-UCM 95/6, Universidad Complutense de Madrid, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peña, R., Galán, L.A. (1996). Proving progress properties of non terminating programs under fairness assumptions. In: Bougé, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds) Euro-Par'96 Parallel Processing. Euro-Par 1996. Lecture Notes in Computer Science, vol 1123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61626-8_101
Download citation
DOI: https://doi.org/10.1007/3-540-61626-8_101
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61626-9
Online ISBN: 978-3-540-70633-5
eBook Packages: Springer Book Archive