A Model and Temporal Proof System for (1986)

by V Nguyen, A Demers, S Owicki, D Gries
Venue:Networks of Processes, Distr. Computing