From a4c58668f86f9a5e7f269e1424b9c7dedca4a906 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 8 Dec 2019 00:54:11 +0000 Subject: tl-update-auto git-svn-id: svn://tug.org/texlive/trunk@53060 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/bibtex/bib/beebe/texbook3.bib | 57 +++++++++++++++++++++---- 1 file changed, 49 insertions(+), 8 deletions(-) (limited to 'Master/texmf-dist/bibtex') 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", -- cgit v1.2.3