Paradigms for distributed programs (1985)

by F B Schneider, L Lamport
Venue:In Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25