A Model and Temporal Proof System for Networks of Processes.

Van Nguyen, David Gries, Susan S. Owicki

Browse the full POPL paper archive.