%
% Bibliography file for the book
% Distributed Computing: Fundamentals, Simulations, and Advanced Topics
% By Hagit Attiya and Jennifer Welch
% 

% Standard Bibtex Abbreviations:
%  1. Months: jan, feb, mar, apr, may, jun, jul, aug, sep, oct, nov, dec
%  2. Journals
%	acmcs	=	ACM Computing Surveys
%	acta	=	Acta Informatica
%	cacm	=	Communications of the ACM
%	ibmjrd	=	IBM Journal of Research and Development
%	ibmsj	=	IBM Systems Journal
%	ieeese	=	IEEE Transactions on Software Engineering
%	ieeetc	=	IEEE Transactions on Computers
%	ieeetcad=	IEEE Transactions on Computer-Aided Design
%							of Integrated Circuits
%	ipl	=	Information Processing Letters
%	jacm	=	Journal of the ACM
%	jcss	=	Journal of Computer and System Sciences
%	scp	=	Science of Computer Programming
%	sicomp	=	SIAM Journal on Computing
%	tocs	=	ACM Transactions on Computer Systems
%	tods	=	ACM Transactions on Database Systems
%	tog	=	ACM Transactions on Graphics
%	toms	=	ACM Transactions on Mathematical Software
%	toois	=	ACM Transactions on Office Information Systems
%	toplas	=	ACM Transactions on Programming Languages and Systems
%	tcs	=	Theoretical Computer Science

% Additional Journals:
@String{ai =     "Artificial Intelligence"}

@String{dc =     "Distributed Computing"}

@String{ic =     "Information and Control"}

@String{icomp =  "Information and Computation"}

@String{pieee =  "Proceedings of the IEEE"}

@String{ieeec =  "IEEE Computer"}

@String{ieeespe = "Software---Practice and Experience"}

@String{ieeetcom = "IEEE Transactions on Communications"}

@String{ieeetit = "IEEE Transactions on Information Theory"}

@String{ieeecad = "IEEE Transactions on Computer-Aided Design"}

@String{ieeetpds = "IEEE Transactions on Parallel and Distributed
                 Systems"}

@String{ijpp =   "International Journal of Parallel Programming"}

@String{algor =  "Algorithmica"}

@String{jalg =   "Journal of Algorithms"}

@String{jsl =    "Journal of Symbolic Logic"}

@String{jsc =    "Journal of Symbolic Computation"}

@String{jlp =    "Journal of Logic Programming"}

@String{jpl =    "Journal of Philosophical Logic"}

@String{lncs =   "Lecture Notes in Computer Science"}

@String{sijadm = "SIAM Journal on Algorithms for Discrete Methods"}

@String{net =    "Networks"}

@String{mst =    "Mathematical Systems Theory"}

@String{loplas = "ACM Letters on Programming Languages and Systems"}

@String{jpdc =   "Journal of Parallel and Distributed Computing"}

@String{mit =    "Mass\-a\-chu\-setts Insti\-tute of Tech\-no\-logy"}

@String{mitlcs = "MIT Laboratory for Computer Science"}

@String{lcs =    "Laboratory for Computer Science"}

@String{mitai =  "MIT Artificial Intelligence Laboratory"}

@String{ibmarc = "IBM Almaden Research Center"}

@String{ibmtjw = "IBM Thomas J. Watson Research Center"}

@String{decsrc = "DEC Systems Research Center"}

@String{deccrl = "DEC Cambridge Research Lab"}

@String{cmu =    "Carnegie Mellon University"}

%%Organizations:
@String{ieee =   "IEEE"}

@String{acm =    "ACM"}

%%Proceedings:
@String{aaai82 = "Proceedings of AAAI-82"}

@String{aaai83 = "Proceedings of AAAI-83"}

@String{aaai84 = "Proceedings of AAAI-84"}

@String{aaai85 = "Proceedings of AAAI-85"}

@String{aaai86 = "Proceedings of AAAI-86"}

@String{aaai87 = "Proceedings of AAAI-87"}

@String{aaai90 = "Proceedings of AAAI-90"}

@String{spaa90 = "Proceedings of the 2nd Annual ACM Symposium on
                 Parallel Algorithms and Architectures"}

@String{spaa91 = "Proceedings of the 3rd Annual ACM Symposium on
                 Parallel Algorithms and Architectures"}

@String{spaa92 = "Proceedings of the 4th Annual ACM Symposium on
                 Parallel Algorithms and Architectures"}

@String{spaa93 = "Proceedings of the 5th Annual ACM Symposium on
                 Parallel Algorithms and Architectures"}

@String{spaa95 = "Proceedings of the 7th Annual ACM Symposium on
                 Parallel Algorithms and Architectures"}

@String{wdag89 = "Proceedings of the 3rd International Workshop on
                 Distributed Algorithms"}

@String{wdag90 = "Proceedings of the 4th International Workshop on
                 Distributed Algorithms"}

@String{wdag91 = "Proceedings of the 5th International Workshop on
                 Distributed Algorithms"}

@String{wdag92 = "Proceedings of the 6th International Workshop on
                 Distributed Algorithms"}

@String{wdag93 = "Proceedings of the 7th International Workshop on
                 Distributed Algorithms"}

@String{wdag94 = "Proceedings of the 8th International Workshop on
                 Distributed Algorithms"}

@String{wdag95 = "Proceedings of the 9th International Workshop on
                 Distributed Algorithms"}

@String{wdag96 = "Proceedings of the 10th International Workshop on
                 Distributed Algorithms"}

@String{aaaiuncertain = "Proceedings of the 1987 AAAI Uncertainty in
                 Artificial Intelligence Workshop"}

@String{aaainonmonotonic84 = "Proceedings of the 1984 AAAI Workshop on
                 Non-monotonic logic"}

%%FOCS:
@String{focs76 = "Proceedings of the 17th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs77 = "Proceedings of the 18th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs78 = "Proceedings of the 19th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs79 = "Proceedings of the 20th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs80 = "Proceedings of the 21st IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs81 = "Proceedings of the 22nd IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs23 = "Proceedings of the 23rd IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs82 = "Proceedings of the 23rd IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs83 = "Proceedings of the 24th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs25 = "Proceedings of the 25th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs84 = "Proceedings of the 25th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs85 = "Proceedings of the 26th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs27 = "Proceedings of the 27th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs86 = "Proceedings of the 27th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs87 = "Proceedings of the 28th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs88 = "Proceedings of the 29th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs89 = "Proceedings of the 30th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs90 = "Proceedings of the 31th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs91 = "Proceedings of the 32th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs92 = "Proceedings of the 33th IEEE Symposium on Foundations
                 of Computer Science"}

@String{focs93 = "Proceedings of the 34th IEEE Symposium on Foundations
                 of Computer Science"}

%%FTC:
@String{ftc7 =   "Proceedings of the 7th Annual IEEE Symposium on
                 Fault-Tolerant Computing"}

@String{ftc77 =  "Proceedings of the 7th Annula IEEE Symposium on
                 Fault-Tolerant Computing"}

@String{ftc17 =  "Proceedings of the 17th Annula IEEE Symposium on
                 Fault-Tolerant Computing"}

@String{ftc87 =  "Proceedings of the 17th Annula IEEE Symposium on
                 Fault-Tolerant Computing"}

%%FTCS:
@String{ftcs85 = "Proceedings of the 15th International Conference on
                 Fault-Tolerant Computing Systems"}

@String{hawaii28 = "Proceedings of the 28th Hawaii Conference on System
                 Sciences"}

@String{hawaii21 = "Proceedings of the 21st Hawaii Conference on System
                 Sciences"}

@String{hawaii88 = "Proceedings of the 21st Hawaii Conference on System
                 Sciences"}

%%ICALP:
@String{icalp4 = "Proceedings of the 4th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp77 = "Proceedings of the 4th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp77ed = "Arto Salomaa and Magnus Steinby"}

@String{icalp77vol = "(Lecture Notes in Computer Science, volume 52)"}

@String{icalp5 = "Proceedings of the 5th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp78 = "Proceedings of the 5th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp78ed = "Giorgio Ausiello and Corrado B{\"{}o}hm"}

@String{icalp78vol = "(Lecture Notes in Computer Science, volume 62)"}

@String{icalp6 = "Proceedings of the 6th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp79 = "Proceedings of the 6th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp79ed = "Hermann A. Maurer"}

@String{icalp79vol = "(Lecture Notes in Computer Science, volume 71)"}

@String{icalp7 = "Proceedings of the 7th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp80 = "Proceedings of the 7th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp80ed = "Jaco W. de Bakker and Jan van Leeuwen"}

@String{icalp80vol = "(Lecture Notes in Computer Science, volume 85)"}

@String{icalp8 = "Proceedings of the 8th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp81 = "Proceedings of the 8th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp81ed = "Shimon Even and Oded Kariv"}

@String{icalp81vol = "(Lecture Notes in Computer Science, volume 115)"}

@String{icalp9 = "Proceedings of the 9th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp82 = "Proceedings of the 9th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp82ed = "Mogens Nielsen and Erik Meineche Schmidt"}

@String{icalp82vol = "(Lecture Notes in Computer Science, volume 140)"}

@String{icalp10 = "Proceedings of the 10th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp83 = "Proceedings of the 10th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp83ed = "Josep D\'{\i}az"}

@String{icalp83vol = "(Lecture Notes in Computer Science, volume 154)"}

@String{icalp11 = "Proceedings of the 11th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp84 = "Proceedings of the 11th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp84ed = "Jan Paredaens"}

@String{icalp84vol = "(Lecture Notes in Computer Science, volume 172)"}

@String{icalp12 = "Proceedings of the 12th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp85 = "Proceedings of the 12th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp85vol = "(Lecture Notes in Computer Science, volume 194)"}

@String{icalp13 = "Proceedings of the 13th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp86 = "Proceedings of the 13th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp86ed = "Laurent Kott"}

@String{icalp86vol = "(Lecture Notes in Computer Science, volume 226)"}

@String{icalp14 = "Proceedings of the 14th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp87 = "Proceedings of the 14th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp87ed = "Thomas Ottmann"}

@String{icalp87vol = "(Lecture Notes in Computer Science, volume 267)"}

@String{icalp88 = "Proceedings of the 15th International Colloquium on
                 Automata, Languages, and Programming"}

@String{icalp88ed = "Timo Lepist{\"o} and Arto Salomaa"}

@String{icalp88vol = "(Lecture Notes in Computer Science, volume 317)"}

%%IFIP
@String{ifip74 = "Proceedings of IFIP Congress 74"}

@String{ifip77 = "IFIP Congress Proceedings"}

@String{ifip83 = "Proceedings of the 9th IFIP World Computer
                 Conference"}

@String{ifip89 = "Proceedings of the 11th IFIP World Computer
                 Conference"}

@String{ifip89ed = "G. X. Ritter"}

%%IJCAI
@String{ijcai9 = "Proceedings of the 9th International Joint Conference
                 on Artificial Intelligence"}

@String{ijcai85 = "Proceedings of the 9th International Joint Conference
                 on Artificial Intelligence"}

@String{ijcai10 = "Proceedings of the 10th International Joint
                 Conference on Artificial Intelligence"}

@String{ijcai87 = "Proceedings of the 10th International Joint
                 Conference on Artificial Intelligence"}

@String{ijcai89 = "Proceedings of the 11th International Joint
                 Conference on Artificial Intelligence"}

%%KNOW: TARK:
@String{know86 = "Theoretical Aspects of Reasoning about Knowledge:
                 Proceedings of the 1986 Conference"}

@String{know88 = "Proceedings of the Second Conference on Theoretical
                 Aspects of Reasoning about Knowledge"}

@String{know90 = "Proceedings of the Third Conference on Theoretical
                 Aspects of Reasoning about Knowledge"}

%%LICS:
@String{lics1 =  "Proceedings of the 1st IEEE Symposium on Logic in
                 Computer Science"}

@String{lics86 = "Proceedings of the 1st IEEE Symposium on Logic in
                 Computer Science"}

@String{lics2 =  "Proceedings of the 2nd IEEE Symposium on Logic in
                 Computer Science"}

@String{lics87 = "Proceedings of the 2nd IEEE Symposium on Logic in
                 Computer Science"}

@String{lics88 = "Proceedings of the 3rd Annual IEEE Symposium on Logic
                 in Computer Science"}

,
@String{lics89 = "Proceedings of the 4th Annual IEEE Symposium on Logic
                 in Computer Science"}

,
@String{lics90 = "Proceedings of the 5th Annual IEEE Symposium on Logic
                 in Computer Science"}

,

@String{lisp80 = "Conference Record of the 1980 ACM Symposium on LISP
                 and Functional Programming"}

@String{lisp82 = "Conference Record of the 1982 ACM Symposium on LISP
                 and Functional Programming"}

@String{lisp84 = "Conference Record of the 1984 ACM Symposium on LISP
                 and Functional Programming"}

@String{lisp86 = "Proceedings of the 1986 Conference on LISP and
                 Functional Programming"}

@String{lop =    "Proceedings of the Workshop on Logics of Programs"}

%%RDSDS
@String{rdsds2 = "Proceedings of the 2nd IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

@String{rdsds82 = "Proceedings of the 2nd IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

@String{rdsds5 = "Proceedings of the 5th IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

@String{rdsds86 = "Proceedings of the 5th IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

@String{rdsds6 = "Proceedings of the 6th IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

@String{rdsds87 = "Proceedings of the 6th IEEE Symposium on Reliability
                 in Distributed Software and Database Systems"}

%%STOC
@String{stoc77 = "Proceedings of the 9th ACM Symposium on Theory of
                 Computing"}

@String{stoc78 = "Proceedings of the 10th ACM Symposium on Theory of
                 Computing"}

@String{stoc79 = "Proceedings of the 11th ACM Symposium on Theory of
                 Computing"}

@String{stoc80 = "Proceedings of the 12th ACM Symposium on Theory of
                 Computing"}

@String{stoc81 = "Proceedings of the 13th ACM Symposium on Theory of
                 Computing"}

@String{stoc14 = "Proceedings of the 14th ACM Symposium on Theory of
                 Computing"}

@String{stoc82 = "Proceedings of the 14th ACM Symposium on Theory of
                 Computing"}

@String{stoc83 = "Proceedings of the 15th ACM Symposium on Theory of
                 Computing"}

@String{stoc84 = "Proceedings of the 16th ACM Symposium on Theory of
                 Computing"}

@String{stoc85 = "Proceedings of the 17th ACM Symposium on Theory of
                 Computing"}

@String{stoc17 = "Proceedings of the 17th ACM Symposium on Theory of
                 Computing"}

@String{stoc86 = "Proceedings of the 18th ACM Symposium on Theory of
                 Computing"}

@String{stoc87 = "Proceedings of the 19th ACM Symposium on Theory of
                 Computing"}

@String{stoc88 = "Proceedings of the 20th ACM Symposium on Theory of
                 Computing"}

@String{stoc89 = "Proceedings of the 21th ACM Symposium on Theory of
                 Computing"}

@String{stoc90 = "Proceedings of the 22th ACM Symposium on Theory of
                 Computing"}

@String{stoc91 = "Proceedings of the 23th ACM Symposium on Theory of
                 Computing"}

@String{stoc92 = "Proceedings of the 24th ACM Symposium on Theory of
                 Computing"}

@String{stoc93 = "Proceedings of the 25th ACM Symposium on Theory of
                 Computing"}

@String{stoc94 = "Proceedings of the 26th ACM Symposium on Theory of
                 Computing"}

@String{stoc95 = "Proceedings of the 27th ACM Symposium on Theory of
                 Computing"}

@String{stoc96 = "Proceedings of the 28th ACM Symposium on Theory of
                 Computing"}

@String{stoc97 = "Proceedings of the 29th ACM Symposium on Theory of
                 Computing"}

%%PODC
@String{podc1 =  "Proceedings of the ACM Symposium on Principles of
                 Distributed Computing"}

@String{podc82 = "Proceedings of the ACM Symposium on Principles of
                 Distributed Computing"}

@String{podc2 =  "Proceedings of the 2nd Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc83 = "Proceedings of the 2nd Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc3 =  "Proceedings of the 3rd Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc84 = "Proceedings of the 3rd Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc4 =  "Proceedings of the 4th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc85 = "Proceedings of the 4th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc5 =  "Proceedings of the 5th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc86 = "Proceedings of the 5th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc6 =  "Proceedings of the 6th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc87 = "Proceedings of the 6th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc7 =  "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc88 = "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc89 = "Proceedings of the 8th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc90 = "Proceedings of the 9th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc91 = "Proceedings of the 10th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc92 = "Proceedings of the 11th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc93 = "Proceedings of the 12th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc94 = "Proceedings of the 13th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc95 = "Proceedings of the 14th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc96 = "Proceedings of the 15th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc97 = "Proceedings of the 16th Annual ACM Symposium on
                 Principles of Distributed Computing"}

@String{podc98 = "Proceedings of the 17th Annual ACM Symposium on
                 Principles of Distributed Computing"}

%PDP
@String{pdp91 =  "Proceedings of the 3rd IEEE Symposium on Parallel and
                 Distributed Processing"}

%%PODS:
@String{pods2 =  "Proceedings of the 2nd Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods83 = "Proceedings of the 2nd Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods4 =  "Proceedings of the 4th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods85 = "Proceedings of the 4th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods5 =  "Proceedings of the 5th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods86 = "Proceedings of the 5th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods6 =  "Proceedings of the 6th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods87 = "Proceedings of the 6th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods7 =  "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods88 = "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods90 = "Proceedings of the 9th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods91 = "Proceedings of the 10th Annual ACM Symposium on
                 Principles of Database Systems"}

@String{pods92 = "Proceedings of the 11th Annual ACM Symposium on
                 Principles of Database Systems"}

%%POPL
@String{popl7 =  "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl80 = "Proceedings of the 7th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl8 =  "Proceedings of the 8th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl81 = "Proceedings of the 8th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl82 = "Proceedings of the 9th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl10 = "Proceedings of the 10th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl83 = "Proceedings of the 10th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl12 = "Proceedings of the 12th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl85 = "Proceedings of the 12th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl13 = "Proceedings of the 13th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl86 = "Proceedings of the 13th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl87 = "Proceedings of the 14th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl15 = "Proceedings of the 15th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl88 = "Proceedings of the 15th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl89 = "Proceedings of the 16th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl90 = "Proceedings of the 17th Annual ACM Symposium on
                 Principles of Programming Languages"}

@String{popl91 = "Proceedings of the 18th Annual ACM Symposium on
                 Principles of Programming Languages"}

%%SOSP:
@String{sosp7 =  "Proceedings of the 7th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp79 = "Proceedings of the 7th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp8 =  "Proceedings of the 8th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp81 = "Proceedings of the 8th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp10 = "Proceedings of the 10th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp85 = "Proceedings of the 10th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp11 = "Proceedings of the 11th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp87 = "Proceedings of the 11th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp89 = "Proceedings of the 12th Annual ACM Symposium on
                 Operating System Principles"}

@String{sosp91 = "Proceedings of the 13th Annual ACM Symposium on
                 Operating System Principles"}

%%VLDB:
@String{vldb81 = "Proceedings of the 7th International Conference on
                 Very Large Data Bases"}

@String{vldb10 = "Proceedings of the 10th International Conference on
                 Very Large Data Bases"}

@String{vldb84 = "Proceedings of the 10th International Conference on
                 Very Large Data Bases"}

@String{vldb14 = "Proceedings of the 14th International Conference on
                 Very Large Data Bases"}

@String{vldb88 = "Proceedings of the 14th International Conference on
                 Very Large Data Bases"}

@String{vldb89 = "Proceedings of the 15th International Conference on
                 Very Large Data Bases"}

%%ICDT
@String{icdt90 = "Proceedings of the 3rd International Conference on
                 Database Theory"}

@String{icdt92 = "Proceedings of the 4th International Conference on
                 Database Theory"}

%%CRYPTO:
@String{crypto90 = "Crypto '90"}

@String{concur90 = "Lecture Notes in Computer Science, volume 458,
                 Proceedings of Concur '90"}

@String{isca84 = "Proceedings of the 11th Annual International Symposium
                 on Computer Architecture"}

@String{isca90 = "Proceedings of the 17th Annual International Symposium
                 on Computer Architecture"}

@String{isca93 = "Proceedings of the 17th Annual International Symposium
                 on Computer Architecture"}

%%%SODA

@String{soda94 = "Proceedings of the 5th Annual ACM-SIAM Symposium on
                 Discrete Algorithms"}

%%Publishers:
@String{MK =     "Morgan Kaufmann"}

@String{SV =     "Springer-Verlag"}

@String{NH =     "North Holland Publishing Company"}

@String{AW =     "Addison-Wesley Publishing Company"}

@String{JW =     "John Wiley and Sons, Inc."}

@String{PH =     "Prentice-Hall, Inc."}

@String{MITP =   "MIT Press"}

@String{KAP =    "Kluwer Academic Publishers, Norwell, Massachusetts"}

% AAAA
@Conference{Abrahamson88,
  author =       "Karl Abrahamson",
  title =        "On Achieving Consensus Using a Shared Memory",
  organization = acm,
  booktitle =    podc88,
  year =         "1988",
  pages =        "291--302",
}

@InProceedings{AdveH90,
  author =       "Sarita Adve and Mark Hill",
  title =        "Weak Ordering---{A} New Definition",
  booktitle =    isca90,
  year =         "1990",
  pages =        "2--14",
}

@Article{AfekR93,
  author =       "Yehuda Afek and Moty Ricklin",
  title =        "Sparser: {A} Paradigm for Running Distributed
                 Algorithms",
  journal =      jalg,
  pages =        "316--328",
  volume =       "14",
  number =       "2",
  month =        mar,
  year =         "1993",
}

@Article{AfekADGMS93,
  author =       "Yehuda Afek and Hagit Attiya and Danny Dolev and Eli
                 Gafni and Michael Merritt and Nir Shavit",
  title =        "Atomic Snapshots of Shared Memory",
  journal =      jacm,
  volume =       "40",
  number =       "4",
  month =        sep,
  year =         "1993",
  pages =        "873--890",
}

@Article{AfekBM93,
  author =       "Yehuda Afek and Geoffrey Brown and Michale Merritt",
  title =        "Lazy Caching",
  journal =      toplas,
  year =         "1993",
  volume =       "15",
  number =       "1",
  month =        jan,
  pages =        "182--205",
}

@Article{AfekDGMS94,
  author =       "Yehuda Afek and Danny Dolev and Eli Gafni and Michael
                 Merritt and Nir Shavit",
  title =        "A Bounded First-In, First-Enabled Solution to the
                 {$l$}-Exclusion Problem",
  journal =      toplas,
  year =         "1994",
  volume =       "16",
  number =       "3",
  month =        may,
  pages =        "939--953",
}

@Article{AfekM94,
  author =       "Yehuda Afek and Yosi Matias",
  title =        "Elections in Anonymous Networks",
  journal =      icomp,
  year =         "1994",
  volume =       "113",
  number =       "2",
  month =        sep,
  pages =        "312--330",
}

@InProceedings{AhamadBJKN93,
  author =       "Mustaq Ahamad and Rida Bazzi and Ranjit John and
                 Prince Kohli and Gil Neiger",
  title =        "The power of processor consistency",
  booktitle =    "Proc. of the 5th ACM Symposium On Parallel Algorithms
                 and Architectures",
  year =         "1993",
  pages =        "251--260",
}

@Article{AhamadNKBH93,
  author =       "Mustaq Ahamad and Gil Neiger and Prince Kohli and
                 James Burns and Philip Hutto",
  title =        "Causal memory: {D}efinitions, implementation, and
                 programming",
  journal =      dc,
  volume =       "9",
  number =       "1",
  month =        aug,
  year =         "1994",
  pages =        "37--49",
}

@InProceedings{AlemanyF92,
  author =       "J. Alemany and E. W. Felten",
  title =        "Performance Issues in Non-Blocking Synchronization on
                 Shared-Memory Multiprocessors",
  pages =        "125--134",
  year =         "1992",
  booktitle =    podc92,
}

@InProceedings{AmirMMAC93,
  author =       "Y. Amir and L. E. Moser and P. M. Melliar-Smith and D.
                 A. Agarwal and P. Ciarfella",
  title =        "Fast Message Ordering and Membership Using a Logical
                 Token-Passing Ring",
  booktitle =    "Proc. of the 13th International Conference on
                 Distributed Computing Systems",
  year =         "1993",
  pages =        "551--560",
}

@TechReport{AmirDKM92a,
  author =       "Y. Amir and D. Dolev and S. Kramer and D. Malki",
  title =        "Total Ordering of Messages in Broadcast Domains",
  number =       "CS92-9",
  institution =  "Dept. of Computer Science, the Hebrew University of
                 Jerusalem",
  year =         "1992",
}

@InProceedings{AmirDKM92,
  author =       "Yair Amir and Danny Dolev and Shlomo Kramer and Dalia
                 Malki",
  title =        "Transis: {A} communication sub-system for high
                 availability",
  booktitle =    "Proc. of the 22nd Annual International Symposium on
                 Fault-Tolerant Computing",
  year =         "1992",
  pages =        "76--84",
}

@Article{AmzaCDKLRYZ96,
  author =       "Cristiana Amza and Alan L. Cox and Sandhya Dwarkadas
                 and Pete Keleher and Honghui Lu and Ramakrishnan
                 Rajamony and Weimin Yu and Willy Zwaenepoel",
  title =        "{TreadMarks}: {Shared} Memory Computing on Networks of
                 Workstation",
  journal =      ieeec,
  year =         "1996",
  volume =       "29",
  number =       "2",
  month =        feb,
  pages =        "18--28",
}

@Article{Anderson93,
  author =       "James Anderson",
  title =        "Composite Registers",
  journal =      dc,
  volume =       "6",
  number =       "3",
  month =        apr,
  year =         "1993",
  pages =        "141--154",
}

@Article{Anderson94,
  author =       "James Anderson",
  title =        "Multi-Writer Composite Registers",
  journal =      dc,
  volume =       "7",
  number =       "4",
  month =        may,
  year =         "1994",
  pages =        "175--196",
}

@Article{AndersonY96,
  author =       "James Anderson and J.-H. Yang",
  title =        "Time/Contention Tradeoffs for Multiprocessor
                 Synchronization",
  journal =      icomp,
  year =         "1996",
  volume =       "124",
  number =       "1",
  month =        jan,
  pages =        "68--84",
  annote =       "Tradeoffs between contention and number of remote
                 accesses, for any $N$-process mutual exclusion
                 algorithm, in the model of \cite{YangA95}.\\ Assume the
                 write contention is $w$, and at most $v$ remote
                 variables can be accessed by a single atomic
                 operation.\\ Shows the existence of an execution
                 involving only one process in which that process
                 executes $\Omega(\log_{v w} N)$ remote operations for
                 entry into its critical section. In these operations,
                 $\Omega(\sqrt{\log_{v w} N})$ distinct remote variables
                 are accessed. If the access contention is $c$, the
                 latter bound is improved to $\Omega(\log_{v c} N)$.",
}

@InProceedings{Angluin80,
  author =       "Dana Angluin",
  title =        "Local and Global Properties in networks of
                 processors",
  booktitle =    stoc80,
  year =         "1980",
  pages =        "82--93",
}

@Article{ArjFL83,
  author =       "Eshrat Arjomandi and Michael J. Fischer and Nancy A.
                 Lynch",
  title =        "Efficiency of Synchronous Versus Asynchronous
                 Distributed Systems",
  journal =      jacm,
  volume =       "30",
  number =       "3",
  pages =        "449--456",
  month =        jul,
  year =         "1983",
}

@InProceedings{Aspnes97,
  author =       "James Aspnes",
  title =        "Lower bounds for distributed coin-flipping and
                 randomized consensus",
  booktitle =    stoc97,
  pages =        "559--568",
  year =         "1997",
}

@Article{AspnesW96,
  author =       "James Aspnes and Orli Waarts",
  title =        "Randomized Consensus in Expected {$O(N \log^2 N)$}
                 Operations per Processor",
  journal =      sicomp,
  year =         "1996",
  number =       "5",
  month =        oct,
  pages =        "1024--1044",
}

@InProceedings{AspnesH90,
  author =       "James Aspnes and Maurice Herlihy",
  title =        "Wait-Free Data Structures in the Asynchronous {PRAM}
                 Model",
  booktitle =    spaa90,
  year =         "1990",
  pages =        "340--349",
}

@Article{AttiyaBDPR90,
  author =       "Hagit Attiya and Amotz Bar-Noy and Danny Dolev and
                 David Peleg and Rudiger Reischuk",
  title =        "Renaming in an Asynchronous Environment",
  journal =      jacm,
  month =        jul,
  volume =       "37",
  number =       "3",
  year =         "1990",
  pages =        "524--548",
}

@InProceedings{AttiyaBDKPR87,
  author =       "Hagit Attiya and Amotz Bar-Noy and Danny Dolev and
                 Daphne Koller and David Peleg and Rudiger Reischuk",
  title =        "Achievable Cases in an Asynchronous Environment",
  booktitle =    focs87,
  year =         "1987",
  pages =        "337--346",
}

@Article{AttiyaBD95,
  author =       "Hagit Attiya and Amotz Bar-Noy and Danny Dolev",
  title =        "Sharing Memory Robustly in Message-Passing Systems",
  journal =      jacm,
  year =         "1995",
  volume =       "42",
  number =       "1",
  month =        jan,
  pages =        "121--132",
}

@InProceedings{Attiya96,
  author =       "Hagit Attiya",
  title =        "Efficient and Robust Sharing of Memory in
                 Message-Passing Systems",
  booktitle =    wdag96,
  volume =       "1151",
  series =       "Lecture Notes in Computer Science",
  year =         "1996",
  publisher =    SV,
  pages =        "56--70",
}

@Conference{AttiyaDS89,
  author =       "Hagit Attiya and Danny Dolev and Nir Shavit",
  title =        "Bounded Polynomial Randomized Consensus",
  organization = acm,
  booktitle =    podc89,
  year =         "1989",
  pages =        "281--294",
}

@Article{AttiyaLS94,
  author =       "Hagit Attiya and Nancy Lynch and Nir Shavit",
  title =        "Are Wait-Free Algorithms Fast?",
  journal =      jacm,
  year =         "1994",
  volume =       "41",
  number =       "4",
  pages =        "725--763",
  month =        jul,
}

@Article{AttiyaDLS94,
  author =       "Hagit Attiya and Cynthia Dwork and Nancy Lynch and
                 Larry Stockmeyer",
  title =        "Bounds on the Time to Reach Agreement in the Presence
                 of Timing Uncertainty",
  journal =      jacm,
  year =         "1994",
  volume =       "41",
  number =       "1",
  pages =        "122--152",
  month =        jan,
}

@InProceedings{AttiyaF92,
  author =       "Hagit Attiya and Roy Friedman",
  title =        "A correctness condition for high-performance
                 multiprocessors",
  booktitle =    stoc92,
  year =         "1992",
  pages =        "679--690",
}

@Article{AttiyaHR93,
  author =       "Hagit Attiya and Amir Herzberg and Sergio Rajsbaum",
  title =        "Clock Synchronization Under Different Delay
                 Assumptions",
  journal =      sicomp,
  year =         "1996",
  volume =       "25",
  number =       "2",
  month =        apr,
  pages =        "369--389",
}

@Article{AttiyaM94,
  author =       "Hagit Attiya and Marios Mavronicolas",
  title =        "Efficiency of Semisynchronous Versus Asynchronous
                 Networks",
  journal =      mst,
  volume =       "27",
  number =       "6",
  month =        nov # "/" # dec,
  year =         "1994",
  pages =        "547--571",
}

@InProceedings{AttiyaR93,
  author =       "Hagit Attiya and Ophir Rachman",
  title =        "Atomic Snapshots in {$O(n \log n)$} Operations",
  booktitle =    podc93,
  year =         "1993",
  month =        aug,
  pages =        "29--40",
}

@InProceedings{AttiyaR96,
  author =       "Hagit Attiya and Sergio Rajsbaum",
  title =        "The Combinatorial Structure of Wait-Free Solvable
                 Tasks",
  booktitle =    wdag96,
  number =       "1151",
  series =       lncs,
  year =         "1996",
  publisher =    SV,
  pages =        "321--343",
  note =         "Also Technical Report \#CS0924, Department of Computer
                 Science, Technion, December 1997",
}

@Article{AttiyaSW88,
  author =       "Hagit Attiya and Marc Snir and Manfred Warmuth",
  title =        "Computing on an Anonymous Ring",
  journal =      jacm,
  volume =       "35",
  number =       "4",
  pages =        "845--876",
  year =         "1988",
  month =        oct,
}

@Article{AttiyaW94,
  author =       "Hagit Attiya and Jennifer L. Welch",
  title =        "Sequential consistency versus linearizability",
  journal =      tocs,
  year =         "1994",
  month =        May,
  volume =       "12",
  number =       "2",
  pages =        "91--122",
}

@Article{Awerbuch85a,
  author =       "Baruch Awerbuch",
  title =        "Complexity of Network Synchronization",
  journal =      jacm,
  volume =       "32",
  number =       "4",
  pages =        "804--823",
  month =        oct,
  year =         "1985",
}

@Article{Awerbuch85b,
  author =       "Baruch Awerbuch",
  title =        "Reducing Complexities of Distributed Maximum Flow and
                 Breadth-First-Search Algorithms by means of Network
                 Synchronization",
  journal =      net,
  volume =       "15",
  number =       "4",
  pages =        "425--437",
  month =        "Winter",
  year =         "1985",
}

@Article{Awerbuch85c,
  author =       "Baruch Awerbuch",
  title =        "New Distributed Depth-First-Search Algorithm",
  journal =      ipl,
  volume =       "20",
  number =       "3",
  pages =        "147--150",
  month =        apr,
  year =         "1985",
}

@Conference{Awerbuch87,
  author =       "Baruch Awerbuch",
  title =        "Optimal Distributed Algorithms for Minmum Weight
                 Spanning Tree, Counting, Leader Election and Related
                 Problems",
  organization = acm,
  booktitle =    stoc87,
  year =         "1987",
  pages =        "230--240",
}

@Article{AwerbuchBCP96,
  author =       "Baruch Awerbuch and Bonnie Berger and Lenore Cowen and
                 David Peleg",
  title =        "Fast Distributed Network Decompositions and Covers",
  journal =      jpdc,
  year =         "1996",
  volume =       "29",
  number =       "2",
  month =        dec,
  pages =        "105--114",
}

% conference version
@Conference{AwerbuchBCP92conf,
  author =       "Baruch Awerbuch and Bonnie Berger and Lenore Cowen and
                 David Peleg",
  title =        "Fast Network Decomposition",
  booktitle =    "11th ACM SIGACT-SIGOPS Symposium on Principles of
                 Distributed Computing",
  year =         "1992",
}

@InProceedings{AwerbuchP90,
  title =        "Network Synchronization with Polylogarithmic
                 Overhead",
  author =       "Baruch Awerbuch and David Peleg",
  booktitle =    focs90,
  year =         "1990",
  volume =       "II",
  pages =        "514--522",
}

@Conference{AwerbuchPPS92,
  author =       "Baruch Awerbuch and Boaz Patt-Shamir and David Peleg
                 and Michael Saks",
  title =        "Adapting to asynchronous dynamic networks",
  booktitle =    stoc92,
  year =         "1992",
  pages =        "557--570",
}

@TechReport{AwerbuchP90a,
  author =       "Baruch Awerbuch and David Peleg",
  title =        "Efficient distributed construction of sparse covers",
  institution =  "Weizmann Institute of Science, Department od Computer
                 Science",
  year =         "1990",
  number =       "CS90-17",
  month =        jul,
}

@Article{AwerbuchP92,
  author =       "Baruch Awerbuch and David Peleg",
  title =        "Routing with polynomial communication-space
                 trade-off",
  journal =      "SIAM Journal on Discrete Mathematics",
  volume =       "5",
  pages =        "151--162",
  number =       "2",
  month =        feb,
  year =         "1992",
}

@Article{AwerbuchP95,
  author =       "Baruch Awerbuch and David Peleg",
  title =        "Online Tracking of Mobile Users",
  journal =      jacm,
  year =         "1995",
  volume =       "42",
  number =       "5",
  month =        sep,
  pages =        "1021--1058",
}

% BBBB

@InCollection{BabaogluM93,
  author =       "Ozalp Babaoglu and Keith Marzullo",
  title =        "Consistent Global States of Distributed Systems:
                 {Fundamental} Concepts and Mechanisms",
  booktitle =    "Distributed Systems",
  publisher =    AW,
  year =         "1993",
  editor =       "Sape Mullender",
  chapter =      "4",
  edition =      "2nd",
  address =      "Wokingham",
}

@Article{BalKT92,
  author =       "Henri E. Bal and M. Frans Kaashoek and Andrew S.
                 Tanenbaum",
  title =        "Orca: {A} Language For Parallel Programming of
                 Distributed Systems",
  journal =      ieeese,
  year =         "1992",
  volume =       "18",
  number =       "3",
  month =        mar,
  pages =        "180--205",
}

@Book{Barbosa96,
  author =       "Valmir Barbosa",
  title =        "An Introduction to Distributed Algorithms",
  publisher =    MITP,
  year =         "1996",
}

@Article{BarNoyDDS92,
  author =       "Amotz Bar-Noy and Danny Dolev and Cynthia Dwork and H.
                 Raymond Strong",
  title =        "Shifting Gears: {Changing} Algorithms on the Fly to
                 Expedite {Byzantine} Agreement",
  journal =      icomp,
  year =         "1992",
  volume =       "97",
  number =       "2",
  month =        apr,
  pages =        "205--233",
  comment =      "previous version is BarNoyDDS87.",
}

@Conference{BarNoyDDS87,
  author =       "Amotz Bar-Noy and Danny Dolev and Cynthia Dwork and H.
                 Raymond Strong",
  title =        "Shifting gears to expedite Byzantine agreement",
  booktitle =    podc6,
  month =        aug,
  year =         "1987",
  pages =        "42--51",
  comment =      "there's a journal version.",
}

@Article{BazziN97,
  author =       "Rida A. Bazzi and Gil Neiger",
  title =        "The Complexity of Almost-Optimal Coordination",
  journal =      algor,
  year =         "1997",
  month =        mar,
  volume =       "17",
  number =       "3",
  pages =        "308--321",
}

@PhdThesis{Bazzi94,
  author =       "Rida Adnan Bazzi",
  title =        "Automatically Improving the Fault-Tolerance in
                 Distributed Systems",
  school =       "College of Computing, Georgia Institute of
                 Technology",
  year =         "1994",
}

@Conference{Ben-Or83,
  author =       "Michael Ben-Or",
  title =        "Another Advantage of Free Choice: {Completely}
                 Asynchronous Agreement Protocols",
  booktitle =    podc2,
  year =         "1983",
  pages =        "27--30",
}

@InProceedings{BennettCZ90,
  author =       "J. K. Bennett and J. B. Carter and W. Zwaenepoel",
  title =        "Munin: {Distributed} Shared Memory Based on
                 Type-Specific Memory Coherence",
  booktitle =    "Proceedings of the 2nd Annual ACM Symposium on
                 Principles and Practice of Parallel Processing",
  year =         "1990",
  pages =        "168--176",
}

@Article{BermanG93,
  author =       "Pioter Berman and Juan Garay",
  title =        "Cloture Votes: {$n/4$}-Resilient Distributed Consensus
                 in {$t+1$} Rounds",
  journal =      mst,
  year =         "1993",
  volume =       "26",
  number =       "1",
  pages =        "3--19",
  comment =      "Previous version in BermanG89.",
}

@Conference{BermanG89,
  author =       "Pioter Berman and Juan Garay",
  title =        "Asymptotically Optimal Distributed Consensus",
  booktitle =    "Annual International Colloquium on Automata, Languages
                 and Programming",
  year =         "1989",
}

@InProceedings{Bershad93,
  author =       "B. N. Bershad",
  title =        "Practical Considerations for Non-Blocking Concurrent
                 Objects",
  booktitle =    "Proceedings of the Thirteenth International Conference
                 on Distributed Computing Systems",
  pages =        "264--274",
  year =         "1993",
}

@Article{BiranMZ90,
  author =       "Ofer Biran and Shlomo Moran and Shmuel Zaks",
  title =        "A Combinatorial Characterization of the Distributed
                 1-Solvable Tasks",
  journal =      jalg,
  year =         "1990",
  volume =       "11",
  number =       "3",
  month =        sep,
  pages =        "420--440",
}

@Article{Birman93,
  author =       "Ken Birman",
  title =        "The Process Group Approach to Reliable Distributed
                 Computing",
  journal =      cacm,
  volume =       "36",
  number =       "12",
  month =        dec,
  year =         "1993",
  pages =        "37--53",
}

@Article{BirmanJ87,
  author =       "Ken Birman and Tommy Joseph",
  title =        "Reliable Communication in the Presence of Failures",
  journal =      tocs,
  volume =       "5",
  number =       "1",
  month =        feb,
  year =         "1987",
  pages =        "47--76",
}

@Article{BirmanSS91,
  author =       "Ken Birman and Andre Schiper and Pat Stephenson",
  title =        "Lightweight Causal and Atomic Group Multicast",
  journal =      tocs,
  volume =       "9",
  number =       "3",
  month =        aug,
  year =         "1991",
  pages =        "272--314",
}

@Book{BirmanR93,
  author =       "Ken Birman and Robert van Renesse (eds.)",
  title =        "Reliable distributed programming with the Isis
                 Toolkit",
  publisher =    "IEEE Computer Society Press",
  year =         "1993",
}

@InProceedings{BisianiR90,
  author =       "R. Bisiani and M. Ravishankar",
  title =        "{PLUS}: {A} Distributed Shared-Memory System",
  booktitle =    isca90,
  year =         "1990",
  pages =        "115--124",
}

@Article{BoehmDU93,
  author =       "Hans-J. Boehm and Alan J. Demers and Chris Uhler",
  title =        "Implementing multiple locks using {Lamport}'s mutual
                 exclusion algorithm",
  journal =      loplas,
  volume =       "2",
  number =       "1-4",
  pages =        "46--58",
  month =        mar,
  year =         "1993",
}

@Book{BondyM76,
  author =       "J. A. Bondy and U. S. R. Murty",
  title =        "Graph Theory with Applications",
  publisher =    "MacMillan",
  year =         "1976",
  address =      "London and Basingstoke",
}

@Conference{BorowskyG93,
  author =       "Elizabeth Borowsky and Eli Gafni",
  title =        "Generalized {FLP} Impossibility Result for
                 $t$-Resilient Asynchronous Computations",
  booktitle =    stoc93,
  year =         "1993",
  pages =        "91--100",
}

@InProceedings{BorowskyG93b,
  author =       "Elizabeth Borowsky and Eli Gafni",
  title =        "Immediate Atomic Snapshots and Fast Renaming",
  booktitle =    podc93,
  year =         "1993",
  pages =        "41--52",
}

@InProceedings{BorowskyGA94,
  author =       "Elizabeth Borowsky and Eli Gafni and Yehuda Afek",
  title =        "Consensus Power Makes (Some) Sense!",
  booktitle =    podc94,
  year =         "1993",
  pages =        "363--372",
}

@TechReport{BorowskyGLR97,
  author =       "Elizabeth Borowsky and Eli Gafni and Nancy Lynch and
                 Sergio Rajsbaum",
  title =        "The {BG} Distributed Simulation Algorithm",
  institution =  "Laboratory for Computer Science, MIT",
  year =         "1997",
  number =       "MIT/LCS/TM-573",
  month =        dec,
}

@Article{Bracha87,
  author =       "Gabriel Bracha",
  title =        "Asynchronous {Byzantine} Agreement Protocols",
  journal =      icomp,
  month =        nov,
  year =         "1987",
  volume =       "75",
  number =       "2",
  pages =        "130--143",
}

@TechReport{Burns80,
  author =       "James E. Burns",
  title =        "A Formal Model for Message Passing Systems",
  number =       "91",
  institution =  "Indiana University",
  month =        sep,
  year =         "1980",
}

@InProceedings{Burns81,
  author =       "James E. Burns",
  title =        "Symmetry in Systems of Asynchronous Processes",
  pages =        "169--174",
  booktitle =    focs81,
  year =         "1981",
}

@Article{BurnsL93,
  title =        "Bounds on Shared Memory for Mutual Exclusion",
  author =       "James E. Burns and Nancy A. Lynch",
  pages =        "171--184",
  journal =      icomp,
  month =        dec,
  year =         "1993",
  volume =       "107",
  number =       "2",
}

@Article{BurnsJLFP82,
  author =       "James E. Burns and Paul Jackson and Nancy A. Lynch and
                 Michael J. Fischer and Gary L. Peterson",
  title =        "Data Requirements for Implementation of ${N}$-Process
                 Mutual Exclusion Using a Single Shared Variable",
  journal =      jacm,
  volume =       "29",
  number =       "1",
  month =        jan,
  year =         "1982",
  pages =        "183--205",
}

@InProceedings{BurnsP89,
  author =       "James E. Burns and Gary L. Peterson",
  title =        "The Ambiguity of Choosing",
  booktitle =    podc89,
  year =         "1989",
  pages =        "145--158",
}

% CCCC

@InProceedings{CanettiR93,
  author =       "R. Canetti and T. Rabin",
  title =        "Fast Asynchronous {Byzantine} Agreement with Optimal
                 Resilience",
  booktitle =    stoc93,
  pages =        "42--51",
  year =         "1993",
}

@Article{ChandraT96,
  author =       "Tushar Deepak Chandra and Sam Toueg",
  title =        "Unreliable failure detectors for Reliable Distributed
                 Systems",
  journal =      jacm,
  year =         "1996",
  volume =       "43",
  number =       "2",
  month =        mar,
  pages =        "225--267",
}

@InProceedings{ChandraHJT94,
  author =       "Tushar Chandra and Vassos Hadzilacos and Prasad
                 Jayanti and Sam Toueg",
  title =        "Wait-Freedom vs.\ {$t$}-Resiliency and the Robustness
                 of Wait-Free Hierarchies",
  booktitle =    podc94,
  year =         "1994",
  pages =        "334--343",
}

@TechReport{Chandy89,
  author =       "K. Mani Chandy",
  title =        "Essence of Distributed Snapshots",
  institution =  "California Institute of Technology",
  number =       "CS-TR-89-05",
  year =         "1989",
}

@Article{ChandyL85,
  author =       "K. Mani Chandy and Leslie Lamport",
  title =        "Distributed snapshots: {Determining} global states of
                 distributed systems",
  journal =      tocs,
  volume =       "3",
  number =       "1",
  month =        feb,
  year =         "1985",
  pages =        "63--75",
}

@Article{ChangM84,
  author =       "Jo-Mei Chang and N. F. Maxemchuk",
  title =        "Reliable Broadcast Protocols",
  journal =      tocs,
  volume =       "2",
  number =       "3",
  month =        aug,
  year =         "1984",
  pages =        "251--273",
}

@Article{ChangR79,
  author =       "Ernest Chang and Rosemary Roberts",
  title =        "An Improved Algorithm for Decentralized
                 Extrema-Finding in Circular Configurations of
                 Processes",
  journal =      cacm,
  volume =       "22",
  number =       "5",
  month =        may,
  year =         "1979",
  pages =        "281--283",
}

@Article{Charron91,
  author =       "Bernadette Charron-Bost",
  title =        "Concerning the size of logical clocks in distributed
                 systems",
  journal =      ipl,
  volume =       "39",
  month =        jul,
  year =         "1991",
  pages =        "11--16",
}

@Article{Chaudhuri93,
  author =       "Soma Chaudhuri",
  title =        "More Choices Allow More Faults: {Set} Consensus
                 Problems in Totally Asynchronous Systems",
  journal =      icomp,
  volume =       "103",
  number =       "1",
  month =        jul,
  year =         "1993",
  pages =        "132--158",
}

@Article{ChaudhuriW94,
  title =        "Bounds on the Costs of Multivalued Register
                 Implementations",
  author =       "Soma Chaudhuri and Jennifer L. Welch",
  pages =        "335--354",
  journal =      sicomp,
  month =        apr,
  year =         "1994",
  volume =       "23",
  number =       "2",
}

@InProceedings{ChaudhuriKW91,
  author =       "Soma Chaudhuri and Martha Kosa and Jennifer Welch",
  title =        "Upper and Lower bounds for One-Write Multivalued
                 Regular Registers",
  booktitle =    pdp91,
  pages =        "134--141",
  year =         "1991",
}

@InProceedings{ChaudhuriHLT93,
  title =        "A Tight Lower Bound for {$k$}-Set Agreement",
  author =       "Soma Chaudhuri and Maurice Herlihy and Nancy A. Lynch
                 and Mark R. Tuttle",
  pages =        "206--215",
  booktitle =    focs93,
  year =         "1993",
  organization = IEEE,
}

@InProceedings{ChaudhuriGL93,
  author =       "Soma Chaudhuri and Rainer Gawlick and Nancy Lynch",
  title =        "Designing Algorithms for Distributed Systems with
                 Partially Synchronized Clocks",
  booktitle =    podc93,
  year =         "1993",
  pages =        "121--132",
}

@Article{CheritonZ85,
  author =       "D. R. Cheriton and W. Zwaenepoel",
  title =        "Distributed process groups in the {V} kernel",
  journal =      tocs,
  volume =       "2",
  number =       "3",
  pages =        "77--107",
  month =        may,
  year =         "1985",
}

@Article{Cheung83,
  author =       "To-Yat Cheung",
  title =        "Graph Traversal Techniques and the Maximum Flow
                 Problem in Distributed Computation",
  journal =      ieeese,
  year =         "1983",
  volume =       "9",
  number =       "4",
  month =        jul,
  pages =        "504--512",
}

@InCollection{ChorD89,
  author =       "B. Chor and C. Dwork",
  title =        "Randomization in {Byzantine} Agreement",
  booktitle =    "Advances in Computing Research 5: {Randomness} and
                 Computation",
  publisher =    "JAI Press",
  year =         "1989",
  pages =        "443--497",
}

@Article{ChorIL87,
  title =        "Wait-Free Consensus Using Asynchronous Hardware",
  author =       "Benny Chor and Amos Israeli and Ming Li",
  pages =        "701--712",
  journal =      sicomp,
  month =        aug,
  year =         "1994",
  volume =       "23",
  number =       "4",
}

@Article{ChorMS89,
  author =       "Benny Chor and Michael Merritt and David Shmoys",
  title =        "Simple constant-time consensus protocols in realistic
                 failure models",
  journal =      jacm,
  year =         "1989",
  volume =       "36",
  number =       "3",
  month =        jul,
  pages =        "591--614",
}

@Book{CoulourisDK94,
  author =       "G. Coulouris and J. Dollimore and T. Kindberg",
  title =        "Distributed Systems, Concepts and Designs",
  publisher =    AW,
  year =         "1994",
  edition =      "2nd",
}

@Book{ChowJ97,
  author =       "Rnasy Chow and Theodore Johnson",
  title =        "Distributed Operating Systems and Algorithms",
  publisher =    AW,
  year =         "1997",
}

@Article{ChoyS95,
  author =       "Manhoi Choy and Ambuj K. Singh",
  title =        "Adaptive Solutions to the Mutual Exclusion Problem",
  journal =      dc,
  month =        aug,
  year =         "1994",
  volume =       "8",
  number =       "1",
  pages =        "1--17",
}

@PhdThesis{Coa87,
  author =       "Brian A. Coan",
  title =        "Achieving Consensus in Fault-Tolerant Distributed
                 Computer Systems: {Protocols}, Lower Bounds, and
                 Simulations",
  school =       "Massachusetts Institute of Technology",
  month =        jun,
  year =         "1987",
}

@Article{Coan88,
  author =       "Brian A. Coan",
  title =        "A Compiler that Increases the Fault-Tolerance of
                 Asynchronous Protocols",
  journal =      ieeetc,
  volume =       "37",
  number =       "12",
  month =        dec,
  year =         "1988",
  pages =        "1541--1553",
}

@Article{Cristian89,
  author =       "Flaviu Cristian",
  title =        "Probabilistic Clock Synchronization",
  pages =        "146--158",
  journal =      dc,
  volume =       "3",
  number =       "3",
  month =        jul,
  year =         "1989",
}

@Article{CristianADS95,
  author =       "Flaviu Cristian and H. Aghili and Ray Strong and Danny
                 Dolev",
  title =        "Atomic Broadcast: {From} Simple Message Diffusion to
                 {Byzantine} Agreement",
  journal =      icomp,
  month =        apr,
  year =         "1995",
  volume =       "118",
  number =       "1",
  pages =        "158--179",
}

@Article{CristianBM94,
  author =       "F. Cristian and R. Beijer and S. Mishra",
  title =        "A Performance Comparison of Asynchronous Atomic
                 Broadcast Protocols",
  journal =      "Distributed Systems Engineering Journal",
  volume =       "1",
  number =       "4",
  pages =        "177--201",
  year =         "1994",
}

% DDDD

@Article{Dijkstra65,
  author =       "E. W. Dijkstra",
  title =        "Solution of a Problem in Concurrent Programming
                 Control",
  journal =      cacm,
  volume =       "8",
  number =       "9",
  year =         "1965",
  pages =        "569",
}

@Article{Dolev82,
  author =       "Danny Dolev",
  title =        "The {B}yzantine Generals Strike Again",
  journal =      jalg,
  volume =       "3",
  number =       "1",
  pages =        "14--30",
  month =        mar,
  year =         "1982",
}

@Article{DolevDS87,
  author =       "Danny Dolev and Cynthia Dwork and Larry Stockmeyer",
  title =        "On the Minimal Synchronism Needed for Distributed
                 Consensus",
  journal =      jacm,
  volume =       "34",
  number =       "1",
  month =        jan,
  year =         "1987",
  pages =        "77--97",
}

@Article{DolevHS86,
  author =       "Danny Dolev and Joseph Y. Halpern and H. Raymond
                 Strong",
  title =        "On the Possibility and Impossibility of Achieving
                 Clock Synchronization",
  journal =      jcss,
  year =         "1986",
  volume =       "32",
  number =       "2",
  month =        apr,
  pages =        "230--250",
}

@Article{DolevHSS95,
  author =       "Danny Dolev and Joseph Y. Halpern and Barbara Simons
                 and H. Raymond Strong",
  title =        "Dynamic Fault-Tolerant Clock Synchronization",
  journal =      jacm,
  year =         "1995",
  volume =       "42",
  number =       "1",
  month =        jan,
  pages =        "143--185",
}

@Article{DolevKR82,
  author =       "Danny Dolev and Maria Klawe and Michael Rodeh",
  title =        "An {$O(n \log n)$} Unidirectional Distributed
                 Algorithm for Extrema Finding in a Circle",
  journal =      jalg,
  volume =       "3",
  number =       "3",
  pages =        "245--260",
  month =        sep,
  year =         "1982",
}

@Article{DolevLPSW86,
  author =       "Danny Dolev and Nancy A. Lynch and Shlomit S. Pinter
                 and Eugene W. Stark and William E. Weihl",
  title =        "Reaching Approximate Agreement in the Presence of
                 Faults",
  journal =      jacm,
  volume =       "33",
  number =       "3",
  month =        jul,
  year =         "1986",
  pages =        "499--516",
}

@TechReport{DolevMS94,
  author =       "Danny Dolev and Dalia Malki and H. Raymond Strong",
  title =        "An asynchronous membership protocol that tolerates
                 partitions",
  institution =  "Institute of Computer Science, The Hebrew University",
  year =         "1994",
  number =       "CS94-6",
}

@Article{DolevS83,
  author =       "Danny Dolev and H. Raymond Strong",
  title =        "Authenticated Algorithms for {B}yzantine Agreement",
  journal =      sicomp,
  volume =       "12",
  number =       "4",
  month =        nov,
  year =         "1983",
  pages =        "656--666",
}

@Article{DolevS97,
  author =       "Danny Dolev and Nir Shavit",
  title =        "Bounded Concurrent Time-Stamping",
  journal =      sicomp,
  year =         "1997",
  volume =       "26",
  number =       "2",
  month =        apr,
  pages =        "418--455",
}

@Article{DuboisS90,
  author =       "M. Dubois and c. Scheurich",
  title =        "Memory Access Dependencies in Shared-Memory
                 Multiprocessors",
  journal =      ieeese,
  year =         "1990",
  volume =       "16",
  number =       "6",
  month =        jun,
  pages =        "660--673",
}

@InProceedings{DworkHW93,
  title =        "Bounded Round Numbers",
  author =       "Cynthia Dwork and Maurice Herlihy and Orli Waarts",
  pages =        "53--64",
  booktitle =    podc93,
  year =         "1993",
}

@Article{DworkM90,
  author =       "Cynthia Dwork and Yoram Moses",
  title =        "Knowledge and Common Knowledge in a {Byzantine}
                 Environment: {Crash} Failures",
  journal =      icomp,
  volume =       "88",
  number =       "2",
  month =        oct,
  year =         "1990",
  pages =        "156--186",
}

@Conference{DworkW92,
  author =       "Cynthia Dwork and Orli Waarts",
  title =        "Simple and Efficient Bounded Concurrent Timestamping
                 or Bounded Concurrent Timestamp Systems are
                 Comprehensible!",
  booktitle =    stoc92,
  pages =        "655--666",
  year =         "1992",
}

% EEEE

@InCollection{Emerson90,
  author =       "E. Allen Emerson",
  title =        "Temporal and Modal Logic",
  booktitle =    "Handbook of Theoretical Computer Science",
  chapter =      "16",
  publisher =    "Elsevier Science Publisher B. V.",
  year =         "1990",
  editor =       "J. van Leeuwen",
  volume =       "B",
  address =      "Amsterdam",
  pages =        "996--1072",
}

% FFFF

@InProceedings{FeldmanM88,
  author =       "P. Feldman and S. Micali",
  title =        "Optimal Algorithms for {Byzantine} Agreement",
  booktitle =    stoc88,
  year =         "1988",
  pages =        "162--172",
}

@Article{FischerL82,
  author =       "Michael J. Fischer and Nancy A. Lynch",
  title =        "A Lower Bound for the Time to Assure Interactive
                 Consistency",
  journal =      ipl,
  volume =       "14",
  number =       "4",
  pages =        "183--186",
  month =        jun,
  year =         "1982",
}

@Article{FischerLBB89,
  title =        "Distributed {FIFO} Allocation of Identical Resources
                 Using Small Shared Space",
  author =       "Michael J. Fischer and Nancy A. Lynch and James E.
                 Burns and Allan Borodin",
  journal =      toplas,
  pages =        "90--114",
  month =        jan,
  year =         "1989",
  volume =       "11",
  number =       "1",
}

@Article{FischerLM86,
  author =       "Michael J. Fischer and Nancy A. Lynch and Michael
                 Merritt",
  title =        "Easy Impossibility Proofs for Distributed Consensus
                 Problems",
  journal =      dc,
  volume =       "1",
  number =       "1",
  pages =        "26--39",
  month =        jan,
  year =         "1986",
}

@Article{FischerLP85,
  author =       "Michael J. Fischer and Nancy A. Lynch and Michael S.
                 Paterson",
  title =        "Impossibility of Distributed Consensus with One Faulty
                 Processor",
  journal =      jacm,
  volume =       "32",
  number =       "2",
  month =        apr,
  year =         "1985",
  pages =        "374--382",
}

@Article{FredericksonL87,
  author =       "Greg N. Frederickson and Nancy Lynch",
  title =        "Electing a Leader in a Synchronous Ring",
  journal =      jacm,
  volume =       "34",
  number =       "1",
  month =        jan,
  year =         "1987",
  pages =        "98--115",
}

@Article{Fidge91,
  author =       "C. Fidge",
  title =        "Logical Time in Distributed Computing Systems",
  journal =      "IEEE Computer",
  volume =       "24",
  number =       "8",
  pages =        "28",
  month =        aug,
  year =         "1991",
}

@PhdThesis{Friedman94,
  author =       "Roy Friedman",
  title =        "Consistency Conditions for Distributed Shared
                 Memories",
  school =       "Department of Computer Science, The Technion",
  year =         "1994",
}

@Article{Friedman95,
  author =       "Roy Friedman",
  title =        "Implementing Hybrid Consistency with High-Level
                 Synchronization Operations",
  journal =      dc,
  volume =       "9",
  number =       "3",
  month =        dec,
  year =         "1995",
  pages =        "119--129",
}

% GGGG

@InProceedings{Gafni86,
  author =       "Eli Gafni",
  title =        "Perspectives on distributed network protocols: {A}
                 case for building blocks",
  booktitle =    "Proc.~IEEE MILCOM '86",
  year =         "1986",
  page =         "1.1.1 -- 1.1.5",
}

@Unpublished{Gallager77,
  author =       "Robert Gallager",
  title =        "Finding a Leader in a Network with ${O}({E})+{O}(n
                 \log n)$ Messages",
  note =         "MIT Internal Memorandum",
  year =         "1977",
}

@TechReport{Gallager82,
  author =       "Robert Gallager",
  title =        "Distributed minimum hop algorithms",
  institution =  "MIT Laboratory for Information and Decision Systems",
  year =         "1982",
  number =       "LIDS-P-1175",
  month =        jan,
}

@Article{GallagerHS83,
  author =       "Robert Gallager and Pierre Humblet and Phillip Spira",
  title =        "A Distributed Algorithm for Minimum-Weight Spanning
                 Trees",
  journal =      toplas,
  volume =       "5",
  number =       "1",
  month =        jan,
  year =         "1983",
  pages =        "66--77",
}

@Article{GarayM98,
  author =       "Juan Garay and Yoram Moses",
  title =        "Fully Polynomial {Byzantine} Agreement for {$n > 3t$}
                 Processors in {$t + 1$} Rounds",
  journal =      sicomp,
  year =         "1998",
  volume =       "27",
  number =       "1",
  month =        feb,
  pages =        "247--290",
}

@Article{GarciaMS91,
  author =       "Hector Garcia-Molina and AnnMarie Spauster",
  title =        "Ordered and Reliable Multicast Communication",
  journal =      toplas,
  volume =       "9",
  pages =        "242--271",
  year =         "1991",
  month =        aug,
}

@Article{GargW94,
  author =       "Vijay K. Garg and Brian Waldecker",
  title =        "Detection of weak unstable predicates in distributed
                 programs",
  journal =      ieeetpds,
  year =         "1994",
  volume =       "5",
  number =       "3",
  month =        mar,
  pages =        "299--307",
}

@InProceedings{GharachorlooLLGGH90,
  author =       "K. Gharachorloo and D. Lenoski and J. Laudon and P.
                 Gibbons and A. Gupta and J. Hennessy",
  title =        "Memory consistency and event ordering in scalable
                 shared-memory multiprocessors",
  booktitle =    isca90,
  year =         "1990",
  pages =        "15--26",
}

@Article{GoldreichP90,
  author =       "Oded Goldreich and Erez Petrank",
  title =        "The Best of both worlds: {Guaranteeing} termination in
                 fast randomized {Byzantine Agreement} protocols",
  journal =      ipl,
  volume =       "36",
  number =       "1",
  pages =        "45--49",
  month =        oct,
  year =         "1990",
}

@TechReport{Goodman89,
  author =       "R. J. Goodman",
  title =        "Cache Consistency and Sequential Consistency",
  number =       "1006",
  institution =  "Computer Science Department, University of Wisconsin",
  address =      "Wisconsin, Madison",
  month =        feb,
  year =         "1991",
}

@InProceedings{GopalT91,
  author =       "Ajei Gopal and Sam Toueg",
  title =        "Inconsistency and Contamination",
  booktitle =    podc91,
  year =         "1991",
  pages =        "257--272",
}

@Article{GuptaSB94,
  author =       "Rajiv Gupta and Scott A. Smolka and Shaji Bhaskar",
  title =        "On Randomization in Sequential and Distributed
                 Algorithms",
  journal =      acmcs,
  year =         "1994",
  volume =       "26",
  number =       "1",
  month =        mar,
  pages =        "7--86",
}

% HHHH

@PhdThesis{Hadz84,
  author =       "Vassos Hadzilacos",
  title =        "Issues of Fault Tolerance in Concurrent Computations",
  school =       "Aiken Computation Laboratory, Harvard University",
  month =        jun,
  year =         "1984",
}

@TechReport{HadzilacosT94,
  author =       "Vassos Hadzilacos and Sam Toueg",
  title =        "A modular approach to fault-tolerant broadcasts and
                 related problems",
  institution =  "Cornell University",
  number =       "TR 94-1425",
  year =         "1994",
  month =        may,
  address =      "Dept. of Computer Science, Cornell University, Ithaca,
                 NY 14853",
}

%	note = "Available by anonymous ftp from {\tt ftp.cs.cornell.edu}
%		in {\tt	pub/sam/Broadcast.dvi.Z}"



@TechReport{Haldar93,
  author =       "S. Haldar",
  title =        "Efficient Bounded Timestamping Using Traceable Use
                 Abstraction",
  institution =  "Department of Computer Science, Utrecht University",
  year =         "1993",
  number =       "RUU-CS-93-28",
  month =        sep,
}

@Article{HaldarV95,
  title =        "Constructing 1-Writer Multireader Multivalued Atomic
                 Variable from Regular Variables",
  author =       "S. Haldar and K. Vidyasankar",
  pages =        "186--203",
  journal =      jacm,
  month =        jan,
  year =         "1995",
  volume =       "42",
  number =       "1",
}

@Article{HalpernMM85,
  author =       "Joseph Y. Halpern and Nimrod Megiddo and A. A.
                 Munshi",
  title =        "Optimal Precision in the Presence of Uncertainty",
  journal =      "Journal of Complexity",
  year =         "1985",
  month =        dec,
  volume =       "1",
  number =       "2",
  pages =        "170--196",
}

@Article{Herlihy88,
  author =       "Maurice P. Herlihy",
  title =        "Wait-Free Synchronization",
  month =        jan,
  year =         "1991",
  journal =      toplas,
  volume =       "13",
  number =       "1",
  pages =        "124--149",
}

@Article{Herlihy93,
  author =       "Maurice Herlihy",
  title =        "A Methodology for Implementing Highly Concurrent Data
                 Objects",
  journal =      toplas,
  volume =       "15",
  number =       "5",
  pages =        "745--770",
  month =        nov,
  year =         "1993",
}

@InProceedings{HerlihyS93,
  author =       "Maurice Herlihy and Nir Shavit",
  title =        "The asynchronous computability theorem for
                 {$t$}-resilient tasks",
  booktitle =    stoc93,
  year =         "1993",
  pages =        "111--120",
}

@InProceedings{HerlihyS94,
  author =       "Maurice Herlihy and Nir Shavit",
  title =        "A Simple Constructive Computability Theorem for
                 Wait-free Computation",
  booktitle =    stoc94,
  year =         "1994",
  pages =        "243--252",
}

@Article{HerlihyW90,
  author =       "Maurice P. Herlihy and Jeannette M. Wing",
  title =        "Linearizability: {A} Correctness Condition for
                 Concurrent Objects",
  journal =      toplas,
  volume =       "12",
  number =       "3",
  month =        jul,
  year =         "1990",
  pages =        "463--492",
}

@PhdThesis{Higham89,
  author =       "Lisa Higham",
  title =        "Randomized Distributed Computing on Rings",
  school =       "Department of Computer Science, University of British
                 Columbia",
  year =         "1989",
  note =         "Technical Report 89-05",
}

@InProceedings{HighamP93,
  author =       "Lisa Higham and Teresa Przytycka",
  title =        "A Simple, Efficient Algorithm for Maximum Finding on
                 Rings",
  booktitle =    "Proceedings of the Seventh International Workshop on
                 Distributed Algorithms",
  volume =       "725",
  series =       "Lecture Notes in Computer Science",
  year =         "1993",
  publisher =    SV,
}

@TechReport{HighamWG95,
  author =       "Lisa Higham and Jolanta Warpechowska-Gruca",
  title =        "Notes on Atomic Broadcast",
  institution =  "University of Calgary, Department of Computer
                 Science",
  year =         "1995",
  number =       "95/562/14",
}

@Article{HirschbergS80,
  author =       "D. S. Hirschberg and J. B. Sinclair",
  title =        "Decentralized Extrema-Finding in Circular
                 Configurations of Processors",
  journal =      cacm,
  volume =       "23",
  number =       "11",
  month =        nov,
  year =         "1980",
  pages =        "627--628",
}

% IIII

@TechReport{token89,
  author =       "ANSI/IEEE",
  key =          "{IEEE802.5}",
  title =        "Local Area Networks: {Token} Ring Access Method and
                 physical Layer Specifications, Std 802.5",
  year =         "1989",
}

@Conference{IsraeliL87,
  author =       "Amos Israeli and Ming Li",
  title =        "Bounded Time-Stamps",
  booktitle =    focs87,
  year =         "1987",
  pages =        "371--382",
}

@Article{IsraeliL93,
  author =       "Amos Israeli and Ming Li",
  title =        "Bounded Time-Stamps",
  journal =      dc,
  month =        jul,
  year =         "1993",
  volume =       "6",
  number =       "4",
  pages =        "205--209",
}

@Article{ItaiR90,
  title =        "Symmetry breaking in distributed networks",
  author =       "Alon Itai and Michael Rodeh",
  pages =        "60--87",
  journal =      icomp,
  month =        sep,
  year =         "1990",
  volume =       "88",
  number =       "1",
}

% JJJJ

@Book{JaJa92,
  author =       "Joseph JaJa",
  title =        "An Introduction to Parallel Algorithms.",
  publisher =    AW,
  year =         "1992",
  address =      "Reading, Massachusetts",
}

@InProceedings{JanssensF93,
  author =       "B. Janssens and W. K. Fuchs",
  title =        "Relaxing Consistency in Recoverable Distributed Shared
                 Memory",
  booktitle =    "Proceedings of the 23rd Annual International Symposium
                 on Fault-Tolerant Computing",
  year =         "1993",
  pages =        "155--165",
}

@Article{Jayanti93,
  author =       "Prasad Jayanti",
  title =        "Robust Wait-Free Hierarchies",
  journal =      jacm,
  year =         "1997",
  volume =       "44",
  number =       "4",
  month =        jul,
  pages =        "592--614",
}

% previous version
@Conference{Jayanti93conf,
  author =       "Prasad Jayanti",
  title =        "On the Robustness of {H}erlihy's Hierarchy",
  booktitle =    podc93,
  month =        aug,
  year =         "1993",
  pages =        "145--158",
}

@Conference{Jayanti95,
  author =       "Prasad Jayanti",
  title =        "Wait-Free Computing",
  booktitle =    wdag95,
  number =       "972",
  series =       lncs,
  publisher =    SV,
  year =         "1995",
  pages =        "19--50",
}

@Article{JohnsonZ90,
  author =       "David B. Johnson and Willy Zwaenepoel",
  title =        "Recovery in distributed systems using optimistic
                 message logging and checkpointing",
  journal =      jalg,
  year =         "1990",
  volume =       "11",
  number =       "3",
  month =        sep,
  pages =        "462--491",
}

% KKKK

@Article{KaashoekTHB89,
  author =       "Frans Kaashoek and Andy Tanenbaum and S. Hummel and
                 Henry Bal",
  title =        "An efficient reliable broadcast protocol",
  journal =      "Operating Systems Review",
  volume =       "23",
  number =       "4",
  pages =        "5--19",
  month =        oct,
  year =         "1989",
}

@InProceedings{KanthadaiW96,
  author =       "Sundar Kanthadai and Jennifer L. Welch",
  title =        "Implementation of Recoverable Distributed Shared
                 Memory by Logging Writes",
  booktitle =    "Proceedings of the 16th International Conference on
                 Distributed Computing Systems",
  year =         "1996",
  pages =        "116--124",
}

@InProceedings{KimV95,
  author =       "J-H. Kim and N. H. Vaidya",
  title =        "Recoverable Distributed Shared Memory Using the
                 Competitive Update Protocol",
  booktitle =    "Proceedings of the 1995 Pacific Rim International
                 Conference on Fault-Tolerant Systems",
  year =         "1995",
  pages =        "152--157",
}

@InProceedings{Kosa94,
  author =       "Martha J. Kosa",
  title =        "Making Operations of Concurrent Data Types Fast",
  booktitle =    podc94,
  year =         "1994",
  pages =        "32--41",
}

@InProceedings{KushilevitzR92,
  author =       "Eyal Kushilevitz and Michael O. Rabin",
  title =        "Randomized Mutual Exclusion Algorithms Revisited",
  pages =        "275--284",
  booktitle =    podc92,
  year =         "1992",
}

@InProceedings{KushilevitzMRZ93,
  author =       "E. Kushilevitz and Y. Mansour and M. O. Rabin and D.
                 Zuckerman",
  title =        "Lower Bounds for Randomized Mutual Exclusion",
  booktitle =    stoc93,
  pages =        "154--163",
  year =         "1993",
}

% LLLL

@InCollection{LaiY94,
  author =       "T. H. Lai and T. H. Yang",
  title =        "On Distributed Snapshots",
  editor =       "Zhonghua Yang and T. Anthony Marsland",
  booktitle =    "Global States and Time in Distributed Systems",
  publisher =    "IEEE Computer Society Press",
  year =         "1994",
}

@Article{Lamport74,
  author =       "Leslie Lamport",
  title =        "A new solution of {Dijkstra}'s concurrent programming
                 problem",
  journal =      cacm,
  volume =       "18",
  number =       "8",
  month =        aug,
  year =         "1974",
  pages =        "453--455",
}

@Article{Lamport78a,
  author =       "Leslie Lamport",
  title =        "The implementation of reliable distributed
                 multiprocess systems",
  journal =      "Computer Networks",
  volume =       "2",
  pages =        "95--114",
  year =         "1978",
}

@Article{Lamport78,
  author =       "Leslie Lamport",
  title =        "Time, clocks, and the ordering of events in a
                 distributed system",
  journal =      cacm,
  volume =       "21",
  number =       "7",
  month =        jul,
  year =         "1978",
  pages =        "558--564",
}

@Article{Lamport79,
  author =       "Leslie Lamport",
  title =        "How to Make a Multiprocessor That Correctly Executes
                 Multiprocess Programs",
  journal =      ieeetc,
  year =         "1979",
  volume =       "C-28",
  number =       "9",
  month =        sep,
  pages =        "690--691",
}

@Article{Lamport84,
  author =       "Leslie Lamport",
  title =        "Using time instead of timeout for fault-tolerant
                 distributed systems",
  journal =      toplas,
  year =         "1984",
  volume =       "6",
  number =       "2",
  month =        apr,
  pages =        "254--280",
}

@Article{LamportMS85,
  author =       "Leslie Lamport and P. M. Melliar-Smith",
  title =        "Synchronizing Clocks in the Presence of Faults",
  journal =      jacm,
  year =         "1985",
  volume =       "32",
  number =       "1",
  month =        jan,
  pages =        "52--78",
}

@Article{Lamport86a,
  author =       "Leslie Lamport",
  title =        "On interprocess communication, {P}art {I}: {B}asic
                 Formalism",
  journal =      dc,
  volume =       "1",
  number =       "2",
  year =         "1986",
  pages =        "77--85",
}

@Article{Lamport86b,
  author =       "Leslie Lamport",
  title =        "On interprocess communication, {P}art {II}:
                 {A}lgorithms",
  journal =      dc,
  volume =       "1",
  number =       "2",
  year =         "1986",
  pages =        "86--101",
}

@Article{LamportSP82,
  author =       "Leslie Lamport and Robert Shostak and Marshall Pease",
  title =        "The {B}yzantine Generals Problem",
  journal =      toplas,
  volume =       "4",
  number =       "3",
  month =        jul,
  year =         "1982",
  pages =        "382--401",
}

@Article{Lamport87,
  author =       "Leslie Lamport",
  title =        "A Fast Mutual Exclusion Algorithm",
  journal =      tocs,
  year =         "1987",
  volume =       "5",
  number =       "1",
  month =        feb,
  pages =        "1--11",
  annote =       "A mutual exclusion algorithm which guarantees constant
                 number of operations when only a single processor wants
                 to enter the critical section.",
}

@InProceedings{LeLann77,
  author =       "G{\'e}rard LeLann",
  title =        "Distributed systems, towards a formal approach",
  booktitle =    ifip77,
  year =         "1977",
  pages =        "155--160",
}

@Book{Leighton92,
  author =       "F. Thomson Leighton",
  title =        "Introduction to Parallel Algorithms and Architectures:
                 {Arrays}, Trees, Hypercubes",
  publisher =    MK,
  year =         "1992",
}

@PhdThesis{Li86,
  title =        "Shared Virtual Memory on Loosely-Coupled Processors",
  author =       "Kai Li",
  school =       "Yale University",
  address =      "New Haven, Connecticut",
  month =        sep,
  note =         "Number: YALEU/DCS/RR-492",
  year =         "1986",
}

@Article{LiH89,
  author =       "Kai Li and Paul Hudak",
  title =        "Memory coherence in shared virtual memory systems",
  journal =      toplas,
  year =         "1989",
  volume =       "7",
  number =       "4",
  month =        nov,
  pages =        "321--359",
}

@Article{LiTV96,
  author =       "Ming Li and John Tromp and Paul M. B. Vit{\'a}nyi",
  title =        "How to Share Concurrent Wait-Free Variables",
  journal =      jacm,
  year =         "1996",
  volume =       "43",
  number =       "4",
  month =        jul,
  pages =        "723--746",
}

@TechReport{LiptonS88,
  author =       "Richard Lipton and John Sandberg",
  title =        "{PRAM}: {A} Scalable Shared Memory",
  number =       "CS-TR-180-88",
  institution =  "Computer Science Department, Princeton University",
  month =        sep,
  year =         "1988",
}

@Article{Liskov93,
  author =       "Barbara Liskov",
  title =        "Practical Uses of Synchronized Clocks in Distributed
                 Systems",
  journal =      dc,
  volume =       "6",
  year =         "1993",
  pages =        "211--219",
}

@InCollection{LouiA87,
  author =       "Michael C. Loui and Hosame H. Abu-Amara",
  title =        "Memory Requirements for Agreement Among Unreliable
                 Asynchronous Processes",
  booktitle =    "Advances in Computing Research, Vol. 4",
  publisher =    "JAI Press, Inc.",
  year =         "1987",
  pages =        "163--183",
}

@InProceedings{LoH97,
  author =       "Wai-Kau Lo and Vassos Hadzilacos",
  title =        "All of Us Are Smarter Than Any of Us: Wait-Free
                 Hierarchies Are Not Robust",
  booktitle =    stoc97,
  year =         "1997",
  pages =        "579--588",
}

@TechReport{LoH96a,
  author =       "Wai-Kau Lo and Vassos Hadzilacos",
  title =        "All of us are smarter than any of us: {More} on the
                 robustness of the consensus hierarchy ({P}art~{I})",
  institution =  "University of Toronto",
  month =        jun,
  year =         "1996",
  address =      "Toronto, Ontario, Canada",
  number =       "CSRI-348",
}

% note = "Available at ftp://ftp.cs.utoronto.ca/pub/reports/csri/348",

@TechReport{LoH96b,
  author =       "Wai-Kau Lo and Vassos Hadzilacos",
  title =        "All of us are smarter than any of us: {More} on the
                 robustness of the consensus hierarchy ({P}art~{II})",
  institution =  "University of Toronto",
  month =        oct,
  year =         "1996",
  address =      "Toronto, Ontario, Canada",
  number =       "CSRI-351",
}

% note = "Available at ftp://ftp.cs.utoronto.ca/pub/reports/csri/351",

@Article{LundeliusL84,
  title =        "An Upper and Lower Bound for Clock Synchronization",
  author =       "Jennifer Lundelius and Nancy Lynch",
  journal =      ic,
  volume =       "62",
  number =       "2/3",
  year =         "1984",
  month =        aug # "/" # sep,
  pages =        "190--204",
}

@Article{LynchF81,
  author =       "Nancy Lynch and Michael Fischer",
  title =        "On Describing the Behavior and Implementation of
                 Distributed Systems",
  journal =      tcs,
  year =         "1981",
  volume =       "13",
  number =       "1",
  month =        jan,
  pages =        "17--43",
}

@InProceedings{LynchSW84,
  author =       "Barbara Simons and Jennifer Welch and Nancy Lynch",
  title =        "An Overview of Clock Synchronization",
  booktitle =    "Fault-Tolerant Distributed Computing",
  number =       "448",
  series =       lncs,
  year =         "1984",
  publisher =    SV,
  pages =        "84--96",
  note =         "Also IBM Technical Report RJ 6505, October 1988",
}

@Conference{LynchT87,
  author =       "Nancy A. Lynch and Mark R. Tuttle",
  title =        "Hierarchical Correctness Proofs for Distributed
                 Algorithms",
  organization = acm,
  booktitle =    podc87,
  year =         "1987",
  pages =        "137--151",
  note =         "A full version is available as MIT Technical Report
                 MIT/LCS/TR--387",
}

@Article{LynchT89,
  author =       "Nancy A. Lynch and Mark R. Tuttle",
  title =        "An Introduction to Input/Output Automata",
  journal =      "CWI-Quarterly",
  number =       "3",
  volume =       "2",
  pages =        "219--246",
  month =        sep,
  year =         "1989",
  note =         "Also available as MIT Technical Memo MIT/LCS/TM-373",
}

@Book{Lynch96,
  author =       "Nancy Lynch",
  title =        "Distributed Algorithms",
  publisher =    MK,
  year =         "1996",
}

% MMMM

@InProceedings{MahaneyS85,
  author =       "Stephen R. Mahaney and Fred B. Schneider",
  title =        "Inexact Agreement: {Accuracy}, Precision, and Graceful
                 Degradation",
  booktitle =    podc85,
  year =         "1985",
  pages =        "237--249",
}

@InCollection{Mattern89,
  author =       "Friedemann Mattern",
  title =        "Virtual Time and Global States of Distributed
                 Systems",
  booktitle =    "Parallel and Distributed Algorithms: Proceedings of
                 the International Workshop on Parallel and Distributed
                 Algorithms",
  editor =       "{M. Cosnard et. al}",
  year =         "1989",
  publisher =    "Elsevier Science Publishers B. V.",
  pages =        "215--226",
}

@InProceedings{MavronicolasR92,
  author =       "Marios Mavronicolas and Dan Roth",
  title =        "Efficient, Strongly Consistent Implementations of
                 Shared Memory",
  booktitle =    wdag92,
  number =       "647",
  series =       lncs,
  year =         "1992",
  publisher =    SV,
  pages =        "346--361",
}

@Unpublished{Merritt85,
  author =       "Michael Merritt",
  title =        "Notes on the {D}olev-{S}trong Lower Bound for
                 {B}yzantine Agreement",
  year =         "1985",
  note =         "Unpublished manuscript",
}

@Article{Mills91,
  author =       "David L. Mills",
  title =        "Internet time synchronization: {The} {N}etwork {T}ime
                 {P}rotocol",
  journal =      ieeetcom,
  year =         "1991",
  volume =       "39",
  number =       "10",
  month =        oct,
  pages =        "1482--1493",
}

@Article{MoirA95,
  key =          "SCP::MoirA1995:1",
  author =       "Mark Moir and James H. Anderson",
  title =        "Wait-free algorithms for fast, long-lived renaming",
  journal =      scp,
  year =         "1995",
  month =        oct,
  volume =       "25",
  number =       "1",
  pages =        "1--39",
  annote =       "Introduces the {\em long-lived\/} renaming problem, in
                 which processes acquire and release names dynamically.
                 Present {\em fast\/} algorithms for one-time renaming
                 with only reads and writes, and for long-lived renaming
                 using stronger primitives.",
}

@InProceedings{MoirG96,
  author =       "Mark Moir and Juan A. Garay",
  title =        "Fast Long-Lived Renaming Improved and Simplified",
  booktitle =    wdag96,
  volume =       "1151",
  series =       lncs,
  year =         "1996",
  publisher =    SV,
  pages =        "287--303",
  annote =       "See more in \cite{Moir98}.",
}

@InProceedings{Moran95,
  author =       "Shlomo Moran",
  title =        "Using Approximate Agreement to Obtain Complete
                 Disagreement: {The} Output Structure of Input free
                 Asynchronous Computations",
  booktitle =    "Proceedings of the 3rd Israel Symposium on Theory of
                 Computing and Systems",
  year =         "1995",
  pages =        "251--257",
}

@InProceedings{MoranR96,
  author =       "Shlomo Moran and Lihu Rappoport",
  title =        "On the Robustness of~{$h^r_m$}",
  booktitle =    wdag96,
  volume =       "1151",
  series =       "Lecture Notes in Computer Science",
  year =         "1996",
  publisher =    SV,
  pages =        "344--361",
}

@Unpublished{MoranS97,
  author =       "Shlom Moran and Sagi Snir",
  title =        "Simple and Efficient Network Decomposition and
                 Synchronization",
  note =         "Submitted for publication",
  year =         "1997",
}

@InProceedings{MoserMA91,
  author =       " {L. E. Moser, P. M. Melliar-Smith} and V. Agrawala",
  title =        "Membership Algorithms for Asynchronous Distributed
                 Systems",
  booktitle =    "Proc. of the 13th International Conference on
                 Distributed Computing Systems",
  year =         "1991",
  pages =        "480--488",
  note =         "Also a version in IEEE Trans on Par and Dist Proc",
}

@InProceedings{MoserAMSA94,
  author =       "L. E. Moser and Y. Amir and P. M. Melliar-Smith and D.
                 A. Agarwal",
  title =        "Extended Virtual Synchrony",
  booktitle =    "Proceedings of the 14th International Conference on
                 Distributed Computing Systems",
  year =         "1994",
  pages =        "56--65",
}

@Article{Melliar-SmithMA90,
  author =       "P. M. Melliar-Smith and Louise E. Moser and Vivek
                 Agrawala",
  title =        "Broadcast Protocols for Distributed Systems",
  journal =      ieeetpds,
  year =         "1990",
  volume =       "1",
  number =       "1",
  pages =        "17--25",
  month =        jan,
}

@Article{Morgan85,
  author =       "Carol Morgan",
  title =        "Global and logical time in distributed systems",
  journal =      ipl,
  year =         "1985",
  volume =       "20",
  number =       "4",
  month =        may,
  pages =        "189--194",
}

@Article{MosesT88,
  author =       "Yoram Moses and Mark R. Tuttle",
  title =        "Programming Simultaneous Actions using Common
                 Knowledge",
  journal =      algor,
  volume =       "3",
  number =       "1",
  year =         "1988",
  pages =        "121--169",
}

@Book{MotwaniR95,
  author =       "Rajeev Motwani and Prabhakar Raghavan",
  title =        "Randomized Algorithms",
  publisher =    "Cambridge University Press",
  year =         "1995",
}

% NNNN

@Book{Mullender93,
  editor =       "Sape Mullender",
  title =        "Distributed Systems",
  publisher =    AW,
  year =         "1993",
  edition =      "2nd",
}

@PhdThesis{Neiger88,
  author =       "Gil Neiger",
  title =        "Techniques for Simplifying the Design of Distributed
                 Systems",
  school =       "Department of Computer Science, Cornell University",
  month =        aug,
  year =         "1988",
}

@Article{Neiger94,
  author =       "Gil Neiger",
  title =        "Distributed Consensus revisited",
  journal =      ipl,
  volume =       "49",
  number =       "4",
  pages =        "195--201",
  month =        feb,
  year =         "1994",
}

@Article{NeigerT90,
  author =       "Gil Neiger and Sam Toueg",
  title =        "Automatically Increasing the Fault-Tolerance of
                 Distributed Algorithms",
  journal =      jalg,
  month =        sep,
  year =         "1990",
  volume =       "11",
  number =       "3",
  pages =        "374--419",
}

@Article{NeigerT93,
  author =       "Gil Neiger and Sam Toueg",
  title =        "Simulating Synchronized Clocks and Common Knowledge in
                 Distributed Systems",
  journal =      jacm,
  volume =       "40",
  number =       "2",
  month =        apr,
  year =         "1993",
  pages =        "334--367",
}

@InProceedings{NevesCG94,
  author =       "Nuno Neves and Miguel Castro and Paulo Guedes",
  title =        "A Checkpoint Protocol for an Entry Consistent Shared
                 Memory System",
  booktitle =    podc94,
  year =         "1994",
  pages =        "121--129",
}

@Article{NitzbergL91,
  author =       "Bill Nitzberg and Virginia Lo",
  title =        "Distributed shared memory: {A} survey of issues and
                 algorithms",
  journal =      ieeec,
  month =        aug,
  volume =       "24",
  number =       "8",
  pages =        "52--60",
  year =         "1991",
}

@Book{Nutt92,
  author =       "Gary Nutt",
  title =        "Centralized and Distributed Operating Systems",
  publisher =    PH,
  year =         "1992",
}

% OOOO

@Article{OwickiL82,
  author =       "Susan Owicki and Leslie Lamport",
  title =        "Proving Liveness Properties of Concurrent Programs",
  journal =      toplas,
  year =         "1982",
  volume =       "4",
  number =       "3",
  month =        jul,
  pages =        "455--495",
}

@Article{OwickiG76,
  author =       "Susan Owicki and David Gries",
  title =        "An Axiomatic proof technique for parallel programs
                 {I}",
  journal =      acta,
  year =         "1976",
  volume =       "6",
  number =       "4",
  pages =        "319--340",
}

% PPPP

@Article{PachlKR84,
  author =       "J. Pachl and E. Korach and D. Rotem",
  title =        "Lower Bounds for Distributed Maximum-Finding
                 Algorithms",
  journal =      jacm,
  volume =       "31",
  number =       "4",
  month =        oct,
  year =         "1984",
  pages =        "905--918",
}

@Article{Papadimitriou79,
  author =       "Christos H. Papadimitriou",
  title =        "The Serializability of Concurrent Database Updates",
  journal =      jacm,
  volume =       "26",
  number =       "4",
  month =        oct,
  year =         "1979",
  pages =        "631--653",
}

@InProceedings{Patt-ShamirR94,
  author =       "Boaz Patt-Shamir and Sergio Rajsbaum",
  title =        "A Theory of Clock Synchronization",
  booktitle =    stoc94,
  year =         "1994",
  pages =        "810--819",
}

@Article{PeaseSL80,
  author =       "Marshall Pease and Robert Shostak and Leslie Lamport",
  title =        "Reaching agreement in the presence of faults",
  journal =      jacm,
  volume =       "27",
  number =       "2",
  month =        apr,
  year =         "1980",
  pages =        "228--234",
}

@TechReport{Peleg89,
  author =       "David Peleg",
  title =        "Sparse graph partitions",
  institution =  "The Weizmann Institute",
  number =       "CS89-01",
  year =         "1989",
  month =        feb,
}

@InProceedings{Peleg90,
  author =       "David Peleg",
  title =        "Distributed Data Structures: {A} Complexity-Oriented
                 View",
  booktitle =    "International Workshop on Distributed Algorithms,
                 Springer-Verlag",
  year =         "1990",
}

@Article{Peleg93,
  author =       "David Peleg",
  title =        "Distance-Dependent Distributed Directories",
  journal =      icomp,
  year =         "1993",
  volume =       "103",
  number =       "2",
  month =        apr,
  pages =        "270--298",
}

@InProceedings{PelegU87,
  author =       "David Peleg and Jeffrey D. Ullman",
  title =        "An Optimal Synchronizer for the Hypercube",
  booktitle =    podc87,
  pages =        "77--85",
  year =         "1987",
}

@Article{PerryT86,
  title =        "Distributed Agreement in the Presence of Processor and
                 Communication Faults",
  author =       "Kenneth J. Perry and Sam Toueg",
  journal =      ieeese,
  pages =        "477--482",
  month =        mar,
  year =         "1986",
  volume =       "12",
  number =       "3",
}

@Article{Peterson81,
  author =       "Gary L. Peterson",
  title =        "Myths about the mutual exclusion problem",
  journal =      IPL,
  volume =       "12",
  month =        jun,
  year =         "1981",
  pages =        "115--116",
}

@Article{Peterson82,
  author =       "Gary L. Peterson",
  title =        "An ${O}(n\log n)$ Unidirectional Algorithm for the
                 Circular Extrema Problem",
  journal =      toplas,
  volume =       "4",
  number =       "4",
  month =        oct,
  year =         "1982",
  pages =        "758--762",
}

@Article{Peterson83,
  author =       "Gary L. Peterson",
  title =        "Concurrent reading while writing",
  journal =      toplas,
  volume =       "5",
  number =       "1",
  month =        jan,
  year =         "1983",
  pages =        "46--55",
}

@Conference{PetersonF77,
  author =       "Gary L. Peterson and Michael J. Fischer",
  title =        "Economical Solutions for the Critical Section Problem
                 in a Distributed System",
  booktitle =    stoc77,
  pages =        "91--97",
  year =         "1977",
}

@InProceedings{PetersonBN94,
  author =       "Gary L. Peterson and Rida A. Bazzi and Gil Neiger",
  title =        "A Gap Theorem for Consensus Types",
  booktitle =    podc94,
  year =         "1994",
  pages =        "344--353",
}

@Article{PetersonBS89,
  author =       "Larry L. Peterson and Nick C. Buchholz and Richard D.
                 Schlichting",
  title =        "Preserving and using context information in
                 interprocess communication",
  journal =      tocs,
  volume =       "7",
  number =       "3",
  pages =        "217--246",
  month =        aug,
  year =         "1989",
}

@Conference{Plotkin89,
  author =       "S. A. Plotkin",
  title =        "Sticky Bits and Universality of Consensus",
  booktitle =    podc89,
  pages =        "159--175",
  year =         "1989",
}

@InProceedings{PoulakidasS97,
  author =       "Athanassios S. Poulakidas and Ambuj K. Singh",
  title =        "Online Replication of Shared Variables",
  booktitle =    "Proceedings of the 17th International Conference on on
                 Distributed Computing Systems",
  year =         "1997",
  pages =        "500--507",
}

@InCollection{PowellBBCSV94,
  author =       "David Powell and Peter Barrett and Gottfried Bonn and
                 Marc Ch\'{e}\-r\`{e}que and Douglas Seaton and Paulo
                 Ver\'{i}ssimo",
  title =        "The {Delta-4} Distributed Fault-Tolerant
                 Ar\-chi\-tec\-ture",
  booktitle =    "Readings in Distributed Systems",
  publisher =    "IEEE Computer Society Press",
  year =         "1994",
  editor =       "Thomas L. Casavant and Mukesh Singhal",
}

@Article{PrakashLJ94,
  author =       "S. Prakash and Y. Lee and T. Johnson",
  title =        "A Nonblocking Algorithm For Shared Queues Using
                 Compare-And-Swap",
  journal =      ieeetc,
  volume =       "43",
  pages =        "548--559",
  month =        may,
  year =         "1994",
  annote =       "A non-blocking implementation of a queue, which
                 categorizes the indeterminite states that the queue can
                 be in. Also includes some performance evaluation using
                 simulations.",
}

@InProceedings{ProticTM95,
  author =       "J. Protic and M. Tomasevic and V. Milutinovic",
  title =        "A survey of distributed shared memory systems",
  booktitle =    hawaii28,
  volume =       "I",
  pages =        "74--84",
  year =         "1995",
}

@Book{ProticTM95book,
  title =        "Distributed Shared Memory: {Concepts} and Systems",
  publisher =    "IEEE Computer Society Press",
  year =         "1997",
  editor =       "Jelica Protic and Milo Tomasevic and Veljko
                 Milutinovic",
  month =        aug,
}

% QQQQ

% RRRR

@Article{Rabin82,
  author =       "Michael O. Rabin",
  title =        "{N}-Process Mutual Exclusion with Bounded Waiting by
                 $4\cdot\log {N}$-Valued Shared Variable",
  journal =      jcss,
  volume =       "25",
  number =       "1",
  month =        aug,
  year =         "1982",
  pages =        "66--75",
}

@Conference{Rabin83,
  author =       "Michael O. Rabin",
  title =        "Randomized {B}yzantine generals",
  organization = "ieee",
  booktitle =    "focs83",
  year =         "1983",
  pages =        "403--409",
}

@InProceedings{Rachman94,
  author =       "Ophir Rachman",
  title =        "Anomalies in the Wait-free Hierarchy",
  booktitle =    wdag94,
  volume =       "857",
  series =       lncs,
  year =         "1994",
  publisher =    SV,
  pages =        "156--163",
}

@Book{Ray86,
  author =       "M. Raynal",
  title =        "Algorithms for Mutual Exclusion",
  publisher =    MITP,
  year =         "1986",
}

@Book{Raynal88,
  author =       "Michel Raynal",
  title =        "Networks and Distributed Computation: {Concepts,}
                 Tools, and Algorithms",
  publisher =    MITP,
  year =         "1988",
}

@Article{RaynalST91,
  author =       "Michel Raynal and Andre Schiper and Sam Toueg",
  title =        "The causal ordering abstraction and a simple way to
                 implement it",
  journal =      ipl,
  volume =       "39",
  number =       "6",
  pages =        "343--350",
  month =        sep,
  year =         "1991",
}

@Article{vanRenesseBM96,
  author =       "Robbert {van Renesse} and Kenneth P. Birman and
                 Silvano Maffeis",
  title =        "{Horus}: {A} Flexible Group Communication System",
  journal =      cacm,
  volume =       "39",
  number =       "4",
  pages =        "76--83",
  month =        apr,
  year =         "1996",
}

@Article{Reiter96,
  author =       "Michael K. Reiter",
  title =        "Distributing Trust with the {Rampart} Toolkit",
  journal =      cacm,
  year =         "1996",
  month =        apr,
  number =       "4",
  pages =        "71--74",
  volume =       "39",
}

@InProceedings{RichardS93,
  author =       "G. G. {Richard III} and M. Singhal",
  title =        "Using Logging and Asynchronous Checkpointing to
                 Implement Recoverable Distributed Shared Memory",
  booktitle =    "Proceedings of the 12th IEEE Symposium on Reliable
                 Distributed Systems",
  year =         "1993",
  pages =        "58--67",
}

% SSSS

@InProceedings{SabelM94,
  author =       "Laura Sabel and Keith Marzullo",
  title =        "Simulating Fail-Stop in Asynchronous Distributed
                 Systems (brief announcement)",
  booktitle =    podc94,
  year =         "1994",
  pages =        "399--399",
}

@InProceedings{Saias92,
  author =       "Issac Saias",
  title =        "Proving Probabilistic Correctness Statements: {The}
                 Case of {Rabin's} Algorithm for Mutual Exclusion",
  pages =        "263--274",
  booktitle =    podc92,
  year =         "1992",
}

@InProceedings{SaksZ93,
  author =       "Michael Saks and Fotios Zaharoglou",
  title =        "Wait-free $k$-set agreement is impossible: {The}
                 topology of public knowledge",
  booktitle =    stoc93,
  year =         "1993",
  pages =        "101--110",
  note =         "Accepted to SIAM Journal on Computing.",
}

@InProceedings{SchiperES89,
  author =       "Andre Schiper and Jorge Eggli and Alain Sandoz",
  title =        "A New Algorithm to Implement Causal Ordering",
  booktitle =    wdag89,
  series =       lncs,
  number =       "392",
  publisher =    SV,
  year =         "1989",
  pages =        "219--232",
}

@Article{SchieberS94,
  author =       "Baruch Schieber and Marc Snir",
  title =        "Calling Names on Nameless Networks",
  journal =      icomp,
  year =         "1994",
  volume =       "113",
  number =       "1",
  month =        aug,
  pages =        "80--101",
}

@Article{Schneider82,
  author =       "Fred B. Schneider",
  title =        "Synchronization in distributed programs",
  journal =      toplas,
  year =         "1982",
  volume =       "4",
  number =       "2",
  month =        apr,
  pages =        "125--148",
}

@Article{Schneider90,
  author =       "Fred B. Schneider",
  title =        "Implementing fault-tolerant services using the state
                 machine approach: {A} tutorial",
  journal =      acmcs,
  volume =       "22",
  number =       "4",
  pages =        "299--319",
  year =         "1990",
  month =        dec,
}

@Article{SchneiderGS84,
  author =       "F. B. Schneider and D. Gries and R. D. Schlichting",
  title =        "Fault-Tolerant Broadcasts",
  journal =      "Science of Computer Programming",
  volume =       "4",
  number =       "1",
  pages =        "1--15",
  month =        apr,
  year =         "1984",
}

@Article{Segall83,
  author =       "Adrian Segall",
  title =        "Distributed Network Protocols",
  journal =      ieeetit,
  year =         "1983",
  volume =       "IT-29",
  number =       "1",
  month =        jan,
  pages =        "23--35",
}

@Conference{ShabtayS94,
  author =       "Lior Shabtay and Adrian Segall",
  title =        "Low Complexity Network Synchronization",
  booktitle =    wdag94,
  volume =       "857",
  series =       lncs,
  publisher =    SV,
  year =         "1994",
  pages =        "223--237",
}

@Article{ShavitT97,
  author =       "Nir Shavit and Dan Touitou",
  title =        "Software Transactional Memory",
  journal =      dc,
  volume =       "10",
  number =       "2",
  pages =        "99--116",
  month =        feb,
  year =         "1997",
  annote =       "Previous version is \cite{ShavitT95}.",
}

@Article{SinghAG94,
  title =        "The Elusive Atomic Register",
  author =       "Ambuj K. Singh and James H. Anderson and Mohamed G.
                 Gouda",
  pages =        "311--339",
  journal =      jacm,
  month =        mar,
  year =         "1994",
  volume =       "41",
  number =       "2",
}

@InProceedings{SistlaW89,
  author =       "A. Prasad Sistla and Jennifer L. Welch",
  title =        "Efficient Distributed Recovery Using Message Logging",
  pages =        "223--238",
  booktitle =    podc89,
  year =         "1989",
}

@Article{SrikanthT87,
  author =       "T. K. Srikanth and Sam Toueg",
  title =        "Simulating Authenticated Broadcasts to Derive Simple
                 Fault-Tolerant Algorithms",
  journal =      dc,
  month =        aug,
  year =         "1987",
  volume =       "2",
  number =       "2",
  pages =        "80--94",
}

@Article{SrikanthT87clock,
  author =       "T. K. Srikanth and Sam Toueg",
  title =        "Optimal Clock Synchronization",
  journal =      jacm,
  year =         "1987",
  volume =       "34",
  number =       "3",
  month =        jul,
  pages =        "626--645",
}

@Article{StromY85,
  author =       "Robert E. Strom and Shaula A. Yemini",
  title =        "Optimistic Recovery in Distributed Systems",
  journal =      tocs,
  year =         "1985",
  volume =       "3",
  number =       "3",
  pages =        "204--226",
  month =        aug,
}

@InProceedings{StummZ90,
  author =       "Michael Stumm and Songnian Zhou",
  title =        "Fault-Tolerant Distributed Shared Memory Algorithms",
  booktitle =    "Proceedings of the 2nd IEEE Symposium on Parallel and
                 Distributed Processing",
  year =         "1990",
  pages =        "719--724",
}

@Article{SchwarzM94,
  author =       "Reinhard Schwarz and Friedemann Mattern",
  title =        "Detecting Causal Relationships in Distributed
                 Computations: {In} Search of the Holy Grail",
  journal =      dc,
  volume =       "7",
  number =       "3",
  year =         "1994",
  pages =        "149--174",
}

% TTTT

@Book{Tanenbaum92,
  author =       "Andrew Tanenbaum",
  title =        "Modern Operating Systems",
  publisher =    PH,
  year =         "1992",
}

@Book{Tanenbaum95,
  author =       "Andrew Tanenbaum",
  title =        "Distributed Operating Systems",
  publisher =    PH,
  year =         "1995",
}

@Book{Tanenbaum96,
  author =       "Andrew Tanenbaum",
  title =        "Computer Networks",
  publisher =    PH,
  year =         "1996",
  edition =      "5th",
}

@Book{Tel94,
  author =       "Gerard Tel",
  title =        "Introduction to Distributed Algorithms",
  publisher =    "Cambridge University Press",
  year =         "1994",
}

@InCollection{Tompkins64,
  author =       "C. B. Tompkins",
  title =        "Sperner's lemma and some extensions",
  booktitle =    "Applied Combinatorial Mathematics",
  chapter =      "15",
  publisher =    JW,
  year =         "1964",
  editor =       "E. F. Beckenbach",
  address =      "New York",
  pages =        "416--455",
}

@InProceedings{TurekSP92,
  title =        "Locking without Blocking: {Making} Lock Based
                 Concurrent Data Structure Algorithms Nonblocking",
  author =       "John Turek and Dennis Shasha and Sundeep Prakash",
  booktitle =    pods92,
  year =         "1992",
  pages =        "212--222",
}

@Article{TurpinC84,
  author =       "Russel Turpin and Brian Coan",
  title =        "Extending Binary {Byzantine} Agreement to Multivalued
                 {Byzantine} Agreement",
  journal =      ipl,
  volume =       "18",
  number =       "2",
  pages =        "73--76",
  month =        feb,
  year =         "1984",
}

% UUUU

% VVVV
@Article{Vidya88,
  author =       "K. Vidyasankar",
  title =        "Converting {L}amport's regular register to atomic
                 register",
  journal =      ipl,
  volume =       "28",
  year =         "1988",
  month =        aug,
  pages =        "287--290",
}

@Article{Vidya90,
  author =       "K. Vidyasankar",
  title =        "Concurrent Reading While Writing Revisited",
  journal =      dc,
  month =        jun,
  year =         "1990",
  volume =       "4",
  number =       "2",
}

@Article{Vidya91,
  author =       "K. Vidyasankar",
  title =        "A very simple construction of 1-writer multireader
                 multivalued atomic variable",
  journal =      ipl,
  volume =       "37",
  pages =        "323--325",
}

@Conference{VitanyiA86,
  author =       "Paul M. B. Vit{\'a}nyi and Baruch Awerbuch",
  title =        "Atomic Shared Register Access by Asynchronous
                 Hardware",
  organization = "IEEE",
  booktitle =    focs86,
  year =         "1986",
  pages =        "233--243",
}

% WWWW

@Article{Welch87,
  author =       "Jennifer Lundelius Welch",
  title =        "Simulating Synchronous Processors",
  journal =      icomp,
  year =         "1987",
  month =        aug,
  volume =       "74",
  number =       "2",
  pages =        "159--171",
}

@Article{WelchL88,
  author =       "Jennifer Lundelius Welch and Nancy A. Lynch",
  title =        "A New Fault-Tolerant Algorithm for Clock
                 Synchronization",
  journal =      icomp,
  year =         "1988",
  volume =       "77",
  number =       "1",
  month =        apr,
  pages =        "1--36",
}

@Article{WensleyLG+78,
  author =       "J. H. Wensley and others",
  title =        "{SIFT}: {The} Design and Analysis of a Fault-Tolerant
                 Computer for Aircraft Control",
  journal =      pieee,
  volume =       "66",
  number =       "10",
  pages =        "1240--1255",
  month =        oct,
  year =         "1978",
}

@Article{WuF90,
  author =       "K.-L. Wu and W. K. Fuchs",
  title =        "Recoverable Distributed Shared Virtual Memory",
  journal =      ieeetc,
  year =         "1990",
  volume =       "39",
  number =       "4",
  month =        apr,
  pages =        "460--469",
}

% YYYY

@Book{YangM94,
  title =        "Global States and Time in Distributed Systems",
  publisher =    "IEEE Computer Society Press",
  year =         "1994",
  editor =       "Zhonghua Yang and T. Anthony Marsland",
}

@Article{YangA95,
  author =       "Jae-Heon Yang and James Anderson",
  title =        "A Fast, Scalable Mutual Exclusion Algorithm",
  journal =      dc,
  year =         "1995",
  volume =       "9",
  number =       "1",
  month =        aug,
  pages =        "51--60",
  annote =       "A mutual exclusion algorithm that generates only
                 $O(\log n)$ remote memory accesses. Essentially matches
                 the lower bound of~\cite{Cypher95}. Similar in
                 structure to~\cite{Kessels82}.\\ The algorithm is
                 modified to require only $O(1)$ accesses in the absence
                 of contention.",
}