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

by R D Schlicting, F B Schneider
Venue:Trans. on Programming Languages and Systems