Completeness of the owicki-gries system for parameterized parallel programs | IEEE Conference Publication | IEEE Xplore