@incollection{Johansen-Jorgensen-Nielsen-Skyum/88, AUTHOR = {Johansen, K.E. and J{\o}rgensen, U.L. and Nielsen, S.H. and Skyum, S.}, TITLE = {A distributed spanning tree algorithm}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {1-12}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Tel/88, AUTHOR = {Tel, G.}, TITLE = {Directed network protocols}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {13-29}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Baratz-Gopal-Watson-Segall/88, AUTHOR = {Baratz, A. and Gopal, I. and Watson, T.J. and Segall, A.}, TITLE = {Fault tolerant queries in computer networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {30-40}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=30}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bermond-Konig-Raynal/88, AUTHOR = {Bermond, J.-C. and Konig, J.-C. and Raynal, M.}, TITLE = {General and efficient decentralized consensus protocols}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {41-56}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=41}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Perry/88, AUTHOR = {Perry, K.J.}, TITLE = {A framework for agreement}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {57-75}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=57}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Ordman/88, AUTHOR = {Ordman, E.T.}, TITLE = {Byzantine firing squad using a faulty external source}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {76-83}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=76}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Vogler/88b, AUTHOR = {Vogler, W.}, TITLE = {An improved multiple identification algorithmm for synchronous broadcasting networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {84-91}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=84}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Singh-Smolka-Ramakrishnan/88, AUTHOR = {Singh, G. and Smolka, S.A. and Ramakrishnan, I.V.}, TITLE = {Distributed algorithms for tree pattern matching}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {92-107}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=92}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Negro-Santoro-Urrutia/88, AUTHOR = {Negro, A. and Santoro, N. and Urrutia, J.}, TITLE = {On the packet complexity of distributed selection}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {108-115}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=108}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Vornberger/88, AUTHOR = {Vornberger, O.}, TITLE = {Load balancing in a network of transputers}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {116-126}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=116}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Mattern/88, AUTHOR = {Mattern, F.}, TITLE = {Experience with a new distributed termination detection algorithm}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {127-143}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=127}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Belik/88, AUTHOR = {Belik, F.}, TITLE = {A distributed deadlock avoidance technique}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {144-154}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=144}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Naimi-Trehel/88, AUTHOR = {Naimi, M. and Trehel, M.}, TITLE = {How to detect a failure and regenerate the token in the log(N) distributed algorithm for mutual exclusion}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {155-166}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=155}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Schoone/88, AUTHOR = {Schoone, A.A.}, TITLE = {Verification of conncection-management protocols}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {167-186}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=167}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Gafni/88, AUTHOR = {Gafni, E.}, TITLE = {Generalized scheme for topology-update in dynamic networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {187-196}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=187}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Afek-Awerbuch-Gafni/88, AUTHOR = {Afek, Y. and Awerbuch, B. and Gafni, E.}, TITLE = {Local fail-safe network reset procedure}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {197-211}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=197}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Chou-Cidon-Gopal-Zaks/88, AUTHOR = {Chou, C.-T. and Cidon, I. and Gopal, I.S. and Zaks, S.}, TITLE = {Synchronizing asynchronous bounded delay networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {212-218}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=212}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Fekete-Lynch-Shrira/88, AUTHOR = {Fekete, A. and Lynch, N. and Shrira, L.}, TITLE = {A modular proof of correctness for a network synchronizer}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {219-256}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=219}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Lakshmanan-Thulasiraman/88, AUTHOR = {Lakshmanan, K.B. and Thulasiraman, K.}, TITLE = {On the use of synchronizers for asynchronous communication networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {257-277}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=257}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kirousis-Kranakis-Vitanyi/88, AUTHOR = {Kirousis, L.M. and Kranakis, E. and Vit{\'a}nyi, P.M.B.}, TITLE = {Atomic multireader register}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {278-296}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=278}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Vidyasankar-Minoura/88, AUTHOR = {Vidyasankar, K. and Minoura, T.}, TITLE = {An optimistic resiliency control scheme for distributed database systems}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {297-309}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=297}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kerboul-Kung-Richard/88, AUTHOR = {Kerboul, R. and Kung, R. and Richard, F.}, TITLE = {A failsafe scheme for replicated information}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {310-323}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=310}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Abrahamson-Adler-Higham-Kirkpatrick/88, AUTHOR = {Abrahamson, K. and Adler, A. and Higham, L. and Kirkpatrick, D.}, TITLE = {Randomized function evaluation on a ring}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {324-331}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=324}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Syrotiuk-Pachl/88, AUTHOR = {Syrotiuk, V. and Pachl, J.}, TITLE = {A distributed ring orientation algorithm}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {332-336}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=332}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Attiya/88, AUTHOR = {Attiya, H.}, TITLE = {Constructing efficient election algorithms from efficient traversal algorithms}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {337-344}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=337}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Chan-Chin/88, AUTHOR = {Chan, M.Y. and Chin, F.Y.L.}, TITLE = {Optimal resilient ring election algorithms}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {345-354}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=345}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Abu-Amara/88, AUTHOR = {Abu-Amara, H.H.}, TITLE = {Fault-tolerant distributed algorithm for election in complete networks}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {355-373}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=355}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Reischuk-Koshors/88, AUTHOR = {Reischuk, R. and Koshors, M.}, TITLE = {Lower bounds for synchronous networks and the advantage of local information}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {374-387}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=374}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bouge/88a, AUTHOR = {Boug{\'e}, L.}, TITLE = {On the existence of generic broadcast algorithms in networks for communicating sequential processes}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {388-407}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=388}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Sere/88, AUTHOR = {Sere, K.}, TITLE = {Stepwise removal of virtual channels in distributed algorithms}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Distributed Algorithms (Amsterdam, The Netherlands, July 1987)}, SERIES = {LNCS}, VOLUME = {312}, PAGES = {408-428}, YEAR = {1988}, EDITOR = {van Leeuwen, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=312&spage=408}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, }