Consistent and complete proof rules for the total correctness of parallel programs (1978)

by Lawrence Flon, Norihisa Suzuki
Venue:In Proceedings of 19th Annual Symposium on Foundations of Computer Science