Completeness of the Owicki-Gries System for Parameterized Parallel Programs

Leonor Prensa Nieto. Completeness of the Owicki-Gries System for Parameterized Parallel Programs. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001. pages 150, IEEE Computer Society, 2001.

Authors

Leonor Prensa Nieto

This author has not been identified. Look up 'Leonor Prensa Nieto' in Google