@incollection{Johansen-Hartvigsen/95,
AUTHOR = {Johansen, Dag and Hartvigsen, Gunnar},
TITLE = {Architectural issues in the StormCast system},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {1-16},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Shrivastava/95,
AUTHOR = {Shrivastava, Santosh K.},
TITLE = {Lessons learned from building and using the Arjuna distributed programming system},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {17-32},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Whetten-Montgomery-Kaplan/95,
AUTHOR = {Whetten, Brian and Montgomery, Todd and Kaplan, Simon},
TITLE = {A high performance totally ordered multicast protocol},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {33-57},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Renesse-Birman-Eicken-Marzullo/95,
AUTHOR = {van Renesse, Robert and Birman, Ken and Eicken, Thorsten von and Marzullo, Keith},
TITLE = {New applications for group computing},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {58-63},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kolland/95,
AUTHOR = {Kolland, Markus},
TITLE = {Support for information sharing in CSCW based on causally and totally ordered group communication},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {64-82},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dolev-Malki/95,
AUTHOR = {Dolev, Danny and Malki, Dalia},
TITLE = {The design of the Transis system},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {83-98},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reiter/95,
AUTHOR = {Reiter, Michael K.},
TITLE = {The Rampart toolkit for building high-integrity services},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {99-110},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alvisi-Marzullo/95,
AUTHOR = {Alvisi, Lorenzo and Marzullo, Keith},
TITLE = {Deriving optimal checkpoint protocols for distributed shared memory architectures},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {111-120},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guerraoui-Schiper/95a,
AUTHOR = {Guerraoui, Rachid and Schiper, Andr{\'{e}}},
TITLE = {Transaction model vs virtual synchrony model: Bridging the gap},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {121-132},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Magee-Eisenbach-Kramer/95,
AUTHOR = {Magee, Jeff and Eisenbach, Susan and Kramer, Jeff},
TITLE = {Modelling Darwin in the $\pi$-calculus},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {133-152},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Geihs-Bar-Puder/95,
AUTHOR = {Geihs, Kurt and B{\"a}r, Brigitte and Puder, Arno},
TITLE = {Towards open service environments},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {153-163},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reisig/95,
AUTHOR = {Reisig, W.},
TITLE = {Correctness proofs of distributed algorithms},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {164-177},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dawson-Jahanian/95,
AUTHOR = {Dawson, Scott and Jahanian, Farnam},
TITLE = {Deterministic fault injection of distributed systems},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {178-196},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mattern-Funfrocken/95,
AUTHOR = {Mattern, Friedemann and F{\"u}nfrocken, Stefan},
TITLE = {A non-blocking lightweight implementation of causal order message delivery},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {197-213},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Birman/95,
AUTHOR = {Birman, Kenneth P.},
TITLE = {Merits of a probabilistic approach to properties in process group systems},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {214-223},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mizuno-Raynal-Zhou/95,
AUTHOR = {Mizuno, Masaaki and Raynal, Michel and Zhou, James Z.},
TITLE = {Sequential consistency in distributed systems},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {224-241},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schwarz/95a,
AUTHOR = {Schwarz, Reinhard},
TITLE = {Speedup limits for tightly-coupled parallel computations},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Castle, Germany, September 5-9, 1994)},
SERIES = {LNCS},
VOLUME = {938},
PAGES = {242-259},
YEAR = {1995},
EDITOR = {Birman, K.P. and Mattern, F. and Schiper, A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}