Text this: Extending the theory of Owicki and Gries with a logic of progress