Research Catalog

Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers

Title: Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers / K.P. Birman, F. Mattern, A. Schiper, eds.
Publication: Berlin ; New York : Springer-Verlag, [1995], ©1995.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA76.9.D5 T48 1995	Off-site

Holdings

Details

Additional Authors

Description

x, 261 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 938

Uniform Title

Lecture notes in computer science ; 938.

Subject

Electronic data processing > Distributed processing > Congresses

Bibliography (note)

Includes bibliographical references and index.

Contents

Architectural issues in the StormCast system / D. Johansen and G. Hartvigsen -- Lessons learned from building and using the Arjuna distributed programming system / S. K. Shrivastava -- A high performance totally ordered multicast protocol / B. Whetten, T. Montgomery and S. Kaplan -- New applications for group computing / R. van Renesse, K. P. Birman, T. von Eicken and K. Marzullo -- Support for information sharing in CSCW based on causally and totally ordered group communication / M. Kolland -- The design of the Transis system / D. Dolev and D. Malki -- The Rampart toolkit for building high-integrity services / M. K. Reiter -- Deriving optimal checkpoint protocols for distributed shared memory architectures / L. Alvisi and K. Marzullo -- Transaction model vs virtual synchrony model: bridging the gap / R. Guerraoui and A. Schiper -- Modelling Darwin in the [pi]-calculus / J. Magee, S. Eisenbach and J. Kramer -- Towards open service environments / K. Geihs, B. Bar and A. Puder --
Correctness proofs of distributed algorithms / W. Reisig -- Deterministic fault injection of distributed systems / S. Dawson and F. Jahanian -- A non-blocking lightweight implementation of causal order message delivery / F. Mattern and S. Funfrocken -- Merits of a probabilistic approach to properties in process group systems / K. P. Birman -- Sequential consistency in distributed systems / M. Mizuno, M. Raynal and J. Z. Zhou -- Speedup limits for tightly-coupled parallel computations / R. Schwarz -- Summary of the discussion sessions: FLP and real-time.

ISBN

3540600426 (Berlin : acid-free paper)
0387600426 (New York : acid-free paper)

LCCN

95021873

OCLC

ocm32699173

Owning Institutions

Columbia University Libraries