summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-12-08 00:54:11 +0000
committerKarl Berry <karl@freefriends.org>2019-12-08 00:54:11 +0000
commita4c58668f86f9a5e7f269e1424b9c7dedca4a906 (patch)
tree9ab0f40d8b94aeea2bf25251d05506fe6e2355fc /Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
parent9bc3a2fb7f91835247b1e6eb47814f8bb6847117 (diff)
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@53060 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/bibtex/bib/beebe/texbook3.bib')
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook3.bib57
1 files changed, 49 insertions, 8 deletions
diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
index bafd1ea59e2..b0d0ef19300 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
@@ -5,9 +5,9 @@
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
-%%% version = "3.78",
-%%% date = "03 December 2019",
-%%% time = "08:41:48 MDT",
+%%% version = "3.79",
+%%% date = "07 December 2019",
+%%% time = "08:14:58 MDT",
%%% filename = "texbook3.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
-%%% checksum = "11221 22476 101283 960510",
+%%% checksum = "49948 22517 101468 962508",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
@@ -37,7 +37,7 @@
%%% covered in separate bibliographies
%%% (ep.bib, epodd.bib, and sgml.bib).
%%%
-%%% At version 3.78, the year coverage looks
+%%% At version 3.79, the year coverage looks
%%% like this:
%%%
%%% 1928 ( 1) 1959 ( 0) 1990 ( 54)
@@ -69,12 +69,12 @@
%%% 1954 ( 0) 1985 ( 35) 2016 ( 2)
%%% 1955 ( 0) 1986 ( 41) 2017 ( 3)
%%% 1956 ( 0) 1987 ( 49) 2018 ( 1)
-%%% 1957 ( 0) 1988 ( 50) 2019 ( 2)
+%%% 1957 ( 0) 1988 ( 50) 2019 ( 3)
%%% 1958 ( 0) 1989 ( 55)
%%% 19xx ( 2)
%%%
%%% Article: 217
-%%% Book: 324
+%%% Book: 325
%%% Booklet: 12
%%% InCollection: 13
%%% InProceedings: 125
@@ -87,7 +87,7 @@
%%% TechReport: 60
%%% Unpublished: 2
%%%
-%%% Total entries: 840
+%%% Total entries: 841
%%%
%%% The ISBN and ISSN fields will be printed if
%%% the is-alpha.bst or is-plain.bst style
@@ -14834,6 +14834,47 @@
language = "Danish",
}
+@Book{Malkhi:2019:CWL,
+ author = "Dahlia Malkhi",
+ title = "Concurrency: the Works of {Leslie Lamport}",
+ publisher = "Morgan and Claypool Publishers",
+ pages = "xx + 345",
+ year = "2019",
+ DOI = "https://doi.org/10.1145/3335772",
+ ISBN = "1-4503-7271-6, 1-4503-7270-8, 1-4503-7273-2",
+ ISBN-13 = "978-1-4503-7271-8, 978-1-4503-7270-1,
+ 978-1-4503-7273-2",
+ LCCN = "????",
+ bibdate = "Fri Dec 6 19:17:41 MST 2019",
+ bibsource = "fsz3950.oclc.org:210/WorldCat;
+ http://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ URL = "https://www.morganclaypoolpublishers.com/catalog_Orig/product_info.php?cPath=24&products_id=1468",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "Part I: Technical Perspectives on Lamport's Work
+ \\
+ 1: Shared Memory and the Bakery Algorithm \\
+ 2: The Notions of Time and Global State in a
+ Distributed System \\
+ 3: Byzantine Faults \\
+ 4: State Machine Replication with Benign Failures \\
+ 5: Formal Specification and Verification \\
+ 6: Biography \\
+ Part II: Selected Papers \\
+ A New Solution of Dijkstra's Concurrent Programming
+ Problem \\
+ Time, Clocks, and the Ordering of Events in a
+ Distributed System \\
+ How to Make a Multiprocessor Computer That Correctly
+ Executes Multiprocess Programs \\
+ The Byzantine Generals Problem \\
+ The Mutual Exclusion Problem: Part I --- A Theory of
+ Interprocess Communication \\
+ The Mutual Exclusion Problem: Part II --- Statement and
+ Solutions \\
+ The Part-Time Parliament",
+}
+
@Article{Mamrak:1993:BAD,
author = "S. Mamrak and J. Barnes and C. S. O'Connell",
title = "Benefits of automating data translation",