A Model and Temporal Proof System for Networks of Processes.

Van Nguyen David Gries Susan S. Owicki A Model and Temporal Proof System for Networks of Processes. 121-131 1985 POPL db/conf/popl/popl85.html#NguyenGO85