Cargando…

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

Detalles Bibliográficos
Otros Autores: Birman, Kenneth P. (Editor ), Mattern, Friedemann (Editor ), Schiper, André, 1949- (Editor )
Formato: Libro
Lenguaje:English
Publicado: Berlin : Springer-Verlag, 1995.
Colección:Lecture notes in computer science ; 938
Materias:

MARC

LEADER 00000nam a2200000 a 4500
001 ocm32699173
003 UV#
005 20171117092605.0
006 m d
007 cr unu|uuuuu||
008 16 s1995 gw a b 100 0 eng d
999 |c 300992  |d 300992 
010 |a  95021873  
020 |a 3540600426 
020 |a 9783540600428 
020 |a 0387600426 
020 |a 9780387600420 
040 |a DLC  |b spa  |c DLC  |d UV#  |e rda 
050 4 |a QA76.9.D5  |b T53 1995 
082 0 4 |a 004.36  |2 158 
245 0 0 |a Theory and practice in distributed systems :  |b international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers  |c / K.P. Birman, F. Mattern, A. Schiper, eds. 
264 1 |a Berlin :   |b Springer-Verlag,  |c 1995. 
300 |a x, 261 páginas :  |b ilustraciones ;  |c 24 cm. 
336 |a texto  |2 rdacontent 
337 |a sin medio  |2 rdamedia 
338 |a volumen  |2 rdacarrier 
490 0 |a Lecture notes in computer science ;  |v 938 
504 |a Incluye bibliografías. 
505 0 |a Architectural issues in the StormCast system / D. Johansen, 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, S. Kaplan -- New applications for group computing / R. van Renesse [and others] -- Support for information sharing in CSCW based on casually and totally ordered group communication / M. Kolland -- The design of the Transis system / D. Dolev, D. Malki -- The rampart toolkit for building high-integrity services / M.K. Reiter -- Deriving optimal checkpoint protocols for distributed shared memory architectures / L. Alvisi, K. Marzullo -- Transaction model vs virtual synchrony model : bridging the gap / R. Guerraoui, A. Schiper -- Modelling Darwin in the [pi]-calculus / J. Magee, S. Eisenbach, J. Kramer -- Towards open service environments / K. Geihs, B. Bär, A. Puder -- Correctness proofs of distributed algorithms / W. Reisig -- Deterministic fault injection of distributed systems / S. Dawson, F. Jahanian -- A non-blocking lightweight implementation of causal order message delivery / F. Mattern, S. Fünfrocken -- Merits of a probabilistic approach to properties in process group systems / K.P. Birman -- Sequential consistency in distributed systems / M. Mizuno, M. Raynal, J.Z. Zhou -- Speedup limits for tightly-coupled parallel computations / R. Schwarz. 
650 4 |a Procesamiento electrónico de datos  |9 3939  |x Procesos distribuidos  |v Congresos 
700 1 |a Birman, Kenneth P.  |e editor 
700 1 |a Mattern, Friedemann.  |e editor 
700 1 |a Schiper, André,  |d 1949-  |9 429634  |e editor 
942 |c LIBRO  |2 lcc  |6 _