Consistent and complete proof rules for the total correctness of parallel programs | IEEE Conference Publication | IEEE Xplore