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.",
}