%0 Unpublished Work %1 LynchFormalTreatmentPaxos %A Prisco, Roberto De %A Lynch, Nancy %A Shvartsman, Alex %A Immorlica, Nicole %A Win, Toh Ne %D 2002 %E unpublished, %K automated consensus ioautomata paxos simulation theorem_proving verification %T A formal treatment of lamport's paxos algorithm

@unpublished{LynchFormalTreatmentPaxos, added-at = {2010-01-29T00:21:01.000+0100}, author = {Prisco, Roberto De and Lynch, Nancy and Shvartsman, Alex and Immorlica, Nicole and Win, Toh Ne}, biburl = {https://www.bibsonomy.org/bibtex/282eb687bfd8fc237be5aded646e55989/giuliano.losa}, editor = {unpublished}, interhash = {d31f5327cb08c19eaa4034b197d1f309}, intrahash = {82eb687bfd8fc237be5aded646e55989}, keywords = {automated consensus ioautomata paxos simulation theorem_proving verification}, timestamp = {2010-01-29T00:21:02.000+0100}, title = {A formal treatment of lamport's paxos algorithm}, year = 2002 }