Distributed systems / 
edited by Sape Mullender. 
 - 2nd ed. 
 - New York :  Reading, Mass. :  ACM Press ;  Addison-Wesley Pub. Co,  c1993. 
 - xvi, 595 p. :  ill. ;  25 cm. 
 - ACM Press frontier series .
<br/><br/> "Collects the lecture notes ... held five times: Arctic '88 in Tromso, Norway, Fingerlakes '89 in Ithaca, NY, Bologna '90 in Italy, Karuizawa '91 in Japan, and Lisboa '92 in Portugal"--Pref. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>A state-of-the-Art Distributed system: Computing with BOB / Michael D. Schroeder -- What good are models and what models are good? / Fred B. Schneider -- Specifications of Concurrent and Distributed systems / William E. Weihl -- Consistent global states of distributed systems: Fundamental concepts and mechanisms / Ozalp Babaoglu and Keith Marzullo -- Fault-Tolerant Broadcasts and Related Problems / Vassos Hadzilacos and Sam Toueg -- Non-blocking atomic commitment / Ozalp Babaoglu and Sam Toueg -- Replication Management using the State-Machine approach / Fred B. Schneider -- The Primary-Backup approach / Navin Budhiraja, Keith Marzullo, Fred B. Schneider and Sam Toueg -- Interprocess Communication / Sape J. Mullender -- Reliable Messages and Connection Establishment / Butler W. Lampson -- A Case study: Automatic Reconfiguration in Autonet / Thomas L. Rodeheiffer and Michael D. Schroeder -- Names / Roger M. Needham -- Transaction-Processing Techniques / William E. Weihl -- Distributed File Systems / M. Satyanarayanan -- Kernel Support for Distributed systems / Sape J. Mullender -- Real Time and Dependability Concepts / Hermann Kopetz and Paulo Verissimo -- Real-Time Communication / Paulo Verissimo -- Scheduling / Hermann Kopetz -- Design of Distributed Real-time systems / Paulo Verissimo and Hermann Kopetz -- Crytography and Secure Channels / Roger M. Needham -- Authentication in Distributed systems / Butler W. Lampson. 
<br/><br/><label>ISBN: </label>0201624273 
<br/><br/><label>LCCN: </label>93234489 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Distributed processing.
<br/><br/><label>Dewey Class. No.: </label>005.43