Media type: Book Title: Principles for sequential reasoning about distributed algorithms Contributor: Stomp, F. A. [Author]; Roever, Willem-Paul de [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1992 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9215 Extent: 76 S. Language: English Origination: Footnote: