Using Message Passing for Distributed Programming: Proof rules and Disciplines (1984)

by F B SCHNEIDER
Venue:A Proof System for Distributed Processes. in "Proc. Logics of Programs". LNCS 193