From d1cebb67c836ee110bdbd3aeb622675df479c993 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 9 Dec 2019 03:01:30 +0000 Subject: CTAN sync 201912090301 --- info/biblio/texbook3.bib | 117 +++++++++++++++++++++++++++++++++++++++++++---- info/biblio/texbook3.ltx | 12 ++--- 2 files changed, 114 insertions(+), 15 deletions(-) (limited to 'info') diff --git a/info/biblio/texbook3.bib b/info/biblio/texbook3.bib index bafd1ea59e..85d2a4f42e 100644 --- a/info/biblio/texbook3.bib +++ b/info/biblio/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.81", +%%% date = "07 December 2019", +%%% time = "16:57:25 MST", %%% 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 = "05076 22575 101773 965621", %%% 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.81, the year coverage looks %%% like this: %%% %%% 1928 ( 1) 1959 ( 0) 1990 ( 54) @@ -69,14 +69,14 @@ %%% 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 ( 4) %%% 1958 ( 0) 1989 ( 55) %%% 19xx ( 2) %%% %%% Article: 217 -%%% Book: 324 +%%% Book: 325 %%% Booklet: 12 -%%% InCollection: 13 +%%% InCollection: 14 %%% InProceedings: 125 %%% Manual: 16 %%% MastersThesis: 4 @@ -87,7 +87,7 @@ %%% TechReport: 60 %%% Unpublished: 2 %%% -%%% Total entries: 840 +%%% Total entries: 842 %%% %%% The ISBN and ISSN fields will be printed if %%% the is-alpha.bst or is-plain.bst style @@ -14129,6 +14129,20 @@ Type and type-founding --- Handbooks, manuals, etc.", } +@InCollection{Levin:2019:B, + author = "Roy Levin", + title = "Biography", + crossref = "Malkhi:2019:CWL", + pages = "131--170", + year = "2019", + DOI = "https://doi.org/10.1145/3335772.3335781", + bibdate = "Sat Dec 07 16:35:48 2019", + bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook3.bib", + acknowledgement = ack-nhfb, + remark = "Pages 143--146 of this biography of Leslie Lamport + discuss his work on \LaTeX{}.", +} + @Article{Levine:1990:LGR, author = "Michael J. S. Levine", title = "A {\LaTeX} Graphics Routine for drawing {Feynman} @@ -14834,6 +14848,91 @@ language = "Danish", } +@Book{Malkhi:2019:CWL, + author = "Dahlia Malkhi", + booktitle = "Concurrency: the Works of {Leslie Lamport}", + title = "Concurrency: the Works of {Leslie Lamport}", + publisher = "Morgan and Claypool Publishers", + address = "Williston, VT 05495 USA", + pages = "xx + 345", + year = "2019", + DOI = "https://doi.org/10.1145/3335772", + ISBN = "1-4503-7271-6 (paperback), 1-4503-7270-8 (hardcover), + 1-4503-7273-2", + ISBN-13 = "978-1-4503-7271-8 (paperback), 978-1-4503-7270-1 + (hardcover), 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, + shorttableofcontents = "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", + tableofcontents = "Introduction / Dahlia Malkhi, Idit Keidar / + doi:10.1145/3335772.3335774 / 1--12 \\ + The computer science of concurrency: the early years / + Leslie Lamport / doi:10.1145/3335772.3335775 / 13--26 + \\ + Shared memory and the Bakery algorithm / Hagit Attiya, + Jennifer L. Welch / doi:10.1145/3335772.3335776 / + 27--46 \\ + The notions of time and global state in a distributed + system / Karolos Antoniadis, Rachid Guerraoui / + doi:10.1145/3335772.3335777 / 47--65 \\ + Byzantine faults / Christian Cachin / + doi:10.1145/3335772.3335778 / 67--81 \\ + State machine replication with benign failures / + Rubbert van Renesse / doi:10.1145/3335772.3335779 / + 83--102 \\ + Formal specification and verification / Stephan Merz / + doi:10.1145/3335772.3335780 / 103--129 \\ + Biography / Roy Levin / doi:10.1145/3335772.3335781 / + 131--170 \\ + A new solution of Dijkstra's concurrent programming + problem / Leslie Lamport / doi:10.1145/3335772.3335782 + / 171--178 \\ + Time, clocks, and the ordering of events in a + distributed system / Leslie Lamport / + doi:10.1145/3335772.3335934 / 179--196 \\ + How to make a multiprocessor computer that correctly + executes multiprocess programs / Leslie Lamport / + doi:10.1145/3335772.3335935 / 197--201 \\ + The Byzantine generals problem / Leslie Lamport, Robert + Shostak, Marshall Pease / doi:10.1145/3335772.3335936 / + 203--226 \\ + The mutual exclusion problem: part I --- a theory of + interprocess / communication / Leslie Lamport / + doi:10.1145/3335772.3335937 / 227--245 \\ + The mutual exclusion problem: part II --- statement and + solutions / Leslie Lamport / + doi:10.1145/3335772.3335938 / 247--276 \\ + The part-time parliament / Leslie Lamport / + doi:10.1145/3335772.3335939 / 277--317 \\ + References / doi:10.1145/3335772.3335940 / 319--333", +} + @Article{Mamrak:1993:BAD, author = "S. Mamrak and J. Barnes and C. S. O'Connell", title = "Benefits of automating data translation", diff --git a/info/biblio/texbook3.ltx b/info/biblio/texbook3.ltx index 891d318669..f41fb1ccbb 100644 --- a/info/biblio/texbook3.ltx +++ b/info/biblio/texbook3.ltx @@ -6,9 +6,9 @@ %%% ==================================================================== %%% @LaTeX-file{ %%% author = "Nelson H. F. Beebe", -%%% version = "3.78", -%%% date = "03 December 2019", -%%% time = "08:41:52 MDT", +%%% version = "3.81", +%%% date = "07 December 2019", +%%% time = "16:57:28 MST", %%% filename = "texbook3.ltx", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB @@ -18,7 +18,7 @@ %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", -%%% checksum = "18894 107 404 3916", +%%% checksum = "15894 107 404 3916", %%% email = "beebe@math.utah.edu, beebe@acm.org, %%% beebe@computer.org (Internet)", %%% codetable = "ISO/ASCII", @@ -79,8 +79,8 @@ WWW URL: \protect\path=http://www.math.utah.edu/~beebe/= } -\date{03 December 2019 \\ -Version 3.78} +\date{07 December 2019 \\ +Version 3.81} \begin{document} \nocite{*} -- cgit v1.2.3