@article{lamport2001paxos,
  author =	 {Lamport, Leslie},
  title =	 {Paxos Made Simple},
  year =	 2001,
  month =	 {December},
  abstract =	 {At the PODC 2001 conference, I got tired of everyone saying
                  how difficult it was to understand the Paxos algorithm,
                  published in [122]. Although people got so hung up in the
                  pseudo-Greek names that they found the paper hard to
                  understand, the algorithm itself is very simple. So, I
                  cornered a couple of people at the conference and explained
                  the algorithm to them orally, with no paper. When I got home,
                  I wrote down the explanation as a short note, which I later
                  revised based on comments from Fred Schneider and Butler
                  Lampson. The current version is 13 pages long, and contains
                  no formula more complicated than n1 > n2.},
  url =
                  {https://www.microsoft.com/en-us/research/publication/paxos-made-simple/},
  pages =	 {51-58},
  journal =	 {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole
                  Number 121, December 2001)},
  edition =	 {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole
                  Number 121, December 2001)},
}

{"_id":"yTAghtZinBPNmzNyq","bibbaseid":"lamport-paxosmadesimple-2001","author_short":["Lamport, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Lamport"],"firstnames":["Leslie"],"suffixes":[]}],"title":"Paxos Made Simple","year":"2001","month":"December","abstract":"At the PODC 2001 conference, I got tired of everyone saying how difficult it was to understand the Paxos algorithm, published in [122]. Although people got so hung up in the pseudo-Greek names that they found the paper hard to understand, the algorithm itself is very simple. So, I cornered a couple of people at the conference and explained the algorithm to them orally, with no paper. When I got home, I wrote down the explanation as a short note, which I later revised based on comments from Fred Schneider and Butler Lampson. The current version is 13 pages long, and contains no formula more complicated than n1 > n2.","url":"https://www.microsoft.com/en-us/research/publication/paxos-made-simple/","pages":"51-58","journal":"ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)","edition":"ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)","bibtex":"@article{lamport2001paxos,\n author =\t {Lamport, Leslie},\n title =\t {Paxos Made Simple},\n year =\t 2001,\n month =\t {December},\n abstract =\t {At the PODC 2001 conference, I got tired of everyone saying\n how difficult it was to understand the Paxos algorithm,\n published in [122]. Although people got so hung up in the\n pseudo-Greek names that they found the paper hard to\n understand, the algorithm itself is very simple. So, I\n cornered a couple of people at the conference and explained\n the algorithm to them orally, with no paper. When I got home,\n I wrote down the explanation as a short note, which I later\n revised based on comments from Fred Schneider and Butler\n Lampson. The current version is 13 pages long, and contains\n no formula more complicated than n1 > n2.},\n url =\n {https://www.microsoft.com/en-us/research/publication/paxos-made-simple/},\n pages =\t {51-58},\n journal =\t {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole\n Number 121, December 2001)},\n edition =\t {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole\n Number 121, December 2001)},\n}\n\n","author_short":["Lamport, L."],"key":"lamport2001paxos","id":"lamport2001paxos","bibbaseid":"lamport-paxosmadesimple-2001","role":"author","urls":{"Paper":"https://www.microsoft.com/en-us/research/publication/paxos-made-simple/"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://git.sr.ht/~p0mf/bibliography/blob/main/bibliography.bib","dataSources":["mt9b5ir7GnHzHywGs"],"keywords":[],"search_terms":["paxos","made","simple","lamport"],"title":"Paxos Made Simple","year":2001}