mscMonografia.bib

   1 % This file was created with JabRef 2.5.
   2 % Encoding: MacRoman
   3
   4 @INPROCEEDINGS{aguilera09b,
   5   author = {Marcos K. Aguilera and Michael Walfish},
   6   title = {No Time for Asynchrony},
   7   booktitle = {Proc. of the 12th Workshop on Hot Topics in Operating Systems},
   8   year = {2009},
   9   publisher = {USENIX Association},
  10   file = {:/Users/buzato/bibliobase/papers/aguilera09b.pdf:PDF},
  11   keywords = {pfdtreplica},
  12   owner = {buzato},
  13   timestamp = {2010.03.29}
  14 }
  15
  16 @ARTICLE{cristian99,
  17   author = {Flaviu Cristian and Christof Fetzer},
  18   title = {The Timed Asynchronous Distributed System Model},
  19   journal = {IEEE Transactions on Parallel and Distributed Systems},
  20   year = {1999},
  21   volume = {10},
  22   pages = {642-657},
  23   address = {Los Alamitos, CA, USA},
  24   doi = {http://doi.ieeecomputersociety.org/10.1109/71.774912},
  25   file = {:/Users/buzato/bibliobase/papers/cristian99.pdf:PDF},
  26   issn = {1045-9219},
  27   owner = {buzato},
  28   publisher = {IEEE Computer Society},
  29   timestamp = {2010.07.29}
  30 }
  31
  32 @INPROCEEDINGS{ezhilchelvan09,
  33   author = {Paul Ezhilchelvan and Santosh Shrivastava},
  34   title = {Learning from the Past for Resolving Dilemmas of Asynchrony},
  35   booktitle = {Proc. of the 3rd ACM SIGOPS International Workshop on Large Scale
  36         Distributed Systems and Middleware},
  37   year = {2009},
  38   file = {:/Users/buzato/bibliobase/papers/ezhilchelvan09.pdf:PDF},
  39   keywords = {pfdtreplica},
  40   owner = {buzato},
  41   timestamp = {2010.03.29}
  42 }
  43
  44 @INPROCEEDINGS{fetzer96,
  45   author = {Fetzer, Christof and Cristian, Flaviu},
  46   title = {Fail-awareness in timed asynchronous systems},
  47   booktitle = {PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles
  48         of distributed computing},
  49   year = {1996},
  50   pages = {314--321},
  51   address = {New York, NY, USA},
  52   publisher = {ACM},
  53   doi = {http://doi.acm.org/10.1145/248052.248119},
  54   file = {:/Users/buzato/bibliobase/papers/fetzer96.pdf:PDF},
  55   isbn = {0-89791-800-2},
  56   keywords = {failure detector, clock synchronization, NTP},
  57   location = {Philadelphia, Pennsylvania, United States},
  58   owner = {buzato},
  59   timestamp = {2009.10.30}
  60 }
  61
  62 @INPROCEEDINGS{fetzer05,
  63   author = {Christof Fetzer and Ulrich Schmid and Martin S?sskraut},
  64   title = {On the Possibility of Consensus in Asynchronous Systems with Finite
  65         Average Response Times},
  66   booktitle = {Distributed Computing Systems, International Conference on},
  67   year = {2005},
  68   pages = {271-280},
  69   address = {Los Alamitos, CA, USA},
  70   publisher = {IEEE Computer Society},
  71   doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2005.57},
  72   file = {:/Users/buzato/bibliobase/papers/fetzer05.pdf:PDF},
  73   issn = {1063-6927},
  74   owner = {buzato},
  75   timestamp = {2010.08.13}
  76 }
  77
  78 @ARTICLE{fischer85,
  79   author = {Michael J. Fischer and Nancy A. Lynch and Michael S. Paterson},
  80   title = {Impossibility of distributed consensus with one faulty process},
  81   journal = {J. ACM},
  82   year = {1985},
  83   volume = {32},
  84   pages = {374--382},
  85   number = {2},
  86   address = {New York, NY, USA},
  87   doi = {http://doi.acm.org/10.1145/3149.214121},
  88   file = {fischer85.pdf:papers/fischer85.pdf:PDF},
  89   issn = {0004-5411},
  90   keywords = {consensus},
  91   owner = {buzato},
  92   publisher = {ACM Press},
  93   review = {Classic impossibility result for asynchronous systems.},
  94   timestamp = {2008.10.10}
  95 }
  96
  97 @ARTICLE{keidar02,
  98   author = {Idit Keidar and Sergio Rajsbaum},
  99   title = {A simple proof of the uniform consensus synchronous lower bound},
 100   journal = {Information Processing Letters},
 101   year = {2003},
 102   volume = {85},
 103   pages = {47 - 52},
 104   number = {1},
 105   doi = {DOI: 10.1016/S0020-0190(02)00333-2},
 106   file = {:/Users/buzato/bibliobase/papers/keidar02.pdf:PDF},
 107   issn = {0020-0190},
 108   keywords = {Distributed computing},
 109   owner = {buzato},
 110   timestamp = {2010.04.06},
 111   url = {http://www.sciencedirect.com/science/article/B6V0F-4619MD5-2/2/1e18868b812187cd4f20949273362c61}
 112 }
 113
 114 @ARTICLE{keidar01,
 115   author = {Keidar, Idit and Rajsbaum, Sergio},
 116   title = {On the cost of fault-tolerant consensus when there are no faults:
 117         preliminary version},
 118   journal = {SIGACT News},
 119   year = {2001},
 120   volume = {32},
 121   pages = {45--63},
 122   number = {2},
 123   address = {New York, NY, USA},
 124   doi = {http://doi.acm.org/10.1145/504192.504195},
 125   file = {:/Users/buzato/bibliobase/papers/keidar01.pdf:PDF},
 126   issn = {0163-5700},
 127   keywords = {pdftreplica},
 128   owner = {buzato},
 129   publisher = {ACM},
 130   timestamp = {2010.04.02}
 131 }
 132
 133 @ARTICLE{lamport06,
 134   author = {Leslie Lamport},
 135   title = {Lower bounds for asynchronous consensus},
 136   journal = {Distributed Computing},
 137   year = {2006},
 138   volume = {19},
 139   pages = {104---125},
 140   number = {2},
 141   month = {June},
 142   file = {lamport06b.pdf:papers/lamport06b.pdf:PDF},
 143   owner = {buzato},
 144   timestamp = {2008.10.10}
 145 }
 146
 147 @ARTICLE{lamport06a,
 148   author = {Leslie Lamport},
 149   title = {Fast {P}axos},
 150   journal = {Distrib. Comput.},
 151   year = {2006},
 152   volume = {19},
 153   pages = {79--103},
 154   number = {2},
 155   month = oct,
 156   address = {London, UK},
 157   doi = {http://dx.doi.org/10.1007/s00446-006-0005-x},
 158   file = {lamport06a.pdf:papers/lamport06a.pdf:PDF},
 159   issn = {0178-2770},
 160   keywords = {paxos, consensus},
 161   owner = {buzato},
 162   publisher = {Springer-Verlag},
 163   timestamp = {2008.10.10}
 164 }
 165
 166 @ARTICLE{mishra02,
 167   author = {Shivakant Mishra and Christof Fetzer and Flaviu Cristian},
 168   title = {The Timewheel Group Communication System},
 169   journal = {IEEE Transactions on Computers},
 170   year = {2002},
 171   volume = {51},
 172   pages = {883-899},
 173   address = {Los Alamitos, CA, USA},
 174   doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2002.1024737},
 175   issn = {0018-9340},
 176   owner = {buzato},
 177   publisher = {IEEE Computer Society},
 178   timestamp = {2010.07.29}
 179 }
 180
 181 @article{dolev87,
 182         Publisher = {ACM},
 183         author = {Dolev, D. and Dwork, C. and Stockmeyer, L.},
 184         title = {On the minimal synchronism needed for distributed consensus},
 185         journal = {Journal of the ACM (JACM)},
 186         volume = {34},
 187         number = {1},
 188         pages = {77-97},
 189         year = {1987},
 190 }
 191
 192 @article{dwork88,
 193   title={{Consensus in the presence of partial synchrony}},
 194   author={Dwork, C. and Lynch, N. and Stockmeyer, L.},
 195   journal={Journal of the ACM (JACM)},
 196   volume={35},
 197   number={2},
 198   pages={288--323},
 199   year={1988},
 200   publisher={ACM}
 201 }
 202
 203 @article{charron-bost04,
 204         Publisher = {Elsevier},
 205         author = {Charron-Bost, B. and Schiper, A.},
 206         title = {Uniform consensus is harder than consensus},
 207         journal = {Journal of Algorithms},
 208         volume = {51},
 209         number = {1},
 210         pages = {15-37},
 211         year = {2004},
 212         doi = {10.1016/j.jalgor.2003.11.001},
 213 }
 214
 215 @techreport{raynal02,
 216         address = {Université de Rennes 1},
 217         institution = {Institut de Reserche en Systèmes Alèatoires},
 218         month = {July},
 219         Publisher = {IEEE Computer Society},
 220         author = {Raynal, M.},
 221         title = {Consensus in synchronous systems: a concise guided tour},
 222         year = {2002},
 223 }
 224
 225 @techreport{rodrigues02,
 226         institution = {Department of Informatics, University of Lisbon},
 227         month = {September},
 228         type = {Tech Report},
 229         author = {Vicente, P. and Rodrigues, L.},
 230         title = {An Indulgent Uniform Total Order Algorithm with Optimistic Delivery},
 231         year = {2002},
 232 }
 233
 234 @incollection{pedone98,
 235         Affiliation = {Ecole Polytechnique Fédérale de Lausanne Département d’Informatique 1015 Lausanne Switzerland 1015 Lausanne Switzerland},
 236         booktitle = {Distributed Computing},
 237         Chapter = {Lecture Notes in Computer Science},
 238         editor = {Kutten, Shay},
 239         publisher = {Springer},
 240         Url = {http://dx.doi.org/10.1007/BFb0056492},
 241         author = {Pedone, Fernando and Schiper, André},
 242         title = {Optimistic Atomic Broadcast},
 243         journal = {Distributed Computing},
 244         volume = {1499},
 245         pages = {318-332},
 246         year = {1998},
 247         doi = {10.1007/BFb0056492},
 248 }
 249
 250 @article{felber01,
 251         address = {Mesa, AZ, United States},
 252         booktitle = {21st IEEE International Conference on Distributed Computing Systems},
 253         Isbn = {0-7695-1077-9},
 254         month = {April},
 255         Organization = {Published by the IEEE Computer Society},
 256         Publisher = {IEEE Computer Society},
 257         author = {Felber, Pascal and Schiper, André},
 258         title = {Optimistic Active Replication},
 259         journal = {Distributed Computing Systems, International Conference on},
 260         volume = {0},
 261         pages = {0333},
 262         year = {2001},
 263         doi = {http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918963},
 264 }
 265
 266 @INPROCEEDINGS{vieira09,
 267   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 268   title = {The Performance of {P}axos and {F}ast {P}axos},
 269   booktitle = {SBRC '09: Proc. of the 27th Brazilian Symposium on Computer Networks
 270         and Distributed Systems},
 271   year = {2009},
 272   pages = {291--304},
 273   address = {Recife, Brasil},
 274   month = may,
 275   file = {vieira09.pdf:papers/vieira09.pdf:PDF},
 276   keywords = {paxos, performance},
 277   owner = {gdvieira},
 278   timestamp = {2010.02.09},
 279   url = {http://www.ic.unicamp.br/~gdvieira/publications/}
 280 }
 281
 282 @INPROCEEDINGS{vieira08a,
 283   author = {Gustavo Maciel Dias Vieira and Luiz Eduardo Buzato},
 284   title = {{T}replica: Ubiquitous replication},
 285   booktitle = {SBRC '08: Proc. of the 26th Brazilian Symposium on Computer Networks
 286         and Distributed Systems},
 287   year = {2008},
 288   address = {Rio de Janeiro, Brasil},
 289   month = may,
 290   file = {vieira08a.pdf:papers/vieira08a.pdf:PDF},
 291   keywords = {persistent queues, active replication, paxos, middleware},
 292   owner = {gdvieira},
 293   timestamp = {2008.12.05},
 294   url = {http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=7450}
 295 }
 296
 297 @ARTICLE{vieira08b,
 298   author = {Gustavo Maciel Dias Vieira and Luiz Eduardo Buzato},
 299   title = {On the coordinator's rule for {F}ast {P}axos},
 300   journal = {Information Processing Letters},
 301   year = {2008},
 302   volume = {107},
 303   pages = {183--187},
 304   month = aug,
 305   doi = {http://dx.doi.org/10.1016/j.ipl.2008.03.001},
 306   file = {vieira08b.pdf:papers/vieira08b.pdf:PDF;Preprint:papers/vieira08b-preprint.pdf:PDF},
 307   keywords = {paxos},
 308   owner = {gdvieira},
 309   timestamp = {2008.08.12}
 310 }
 311
 312 @TECHREPORT{vieira09-tr,
 313   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 314   title = {The Performance of {P}axos and {F}ast {P}axos},
 315   institution = {Institute of Computing, University of Campinas},
 316   year = {2008},
 317   number = {IC-08-35},
 318   month = dec,
 319   file = {vieira09-tr.pdf:papers/vieira09-tr.pdf:PDF},
 320   keywords = {paxos, performance},
 321   owner = {gdvieira},
 322   timestamp = {2010.02.10},
 323   url = {http://www.ic.unicamp.br/~reltech/2008/abstracts.html}
 324 }
 325
 326 @TECHREPORT{vieira08a-tr,
 327   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 328   title = {{T}replica: Ubiquitous replication},
 329   institution = {Institute of Computing, University of Campinas},
 330   year = {2007},
 331   number = {IC-07-37},
 332   month = dec,
 333   file = {vieira08a-tr.pdf:papers/vieira08a-tr.pdf:PDF},
 334   keywords = {active replication, middleware, paxos, persistent queues},
 335   owner = {gdvieira},
 336   timestamp = {2010.02.10},
 337   url = {http://www.ic.unicamp.br/~reltech/2007/abstracts.html}
 338 }
 339
 340 @TECHREPORT{vieira08b-tr,
 341   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 342   title = {On the coordinator's rule for {F}ast {P}axos},
 343   institution = {Institute of Computing, University of Campinas},
 344   year = {2007},
 345   number = {IC-07-35},
 346   month = nov,
 347   file = {vieira08b-tr.pdf:papers/vieira08b-tr.pdf:PDF},
 348   keywords = {paxos},
 349   owner = {gdvieira},
 350   timestamp = {2010.02.10},
 351   url = {http://www.ic.unicamp.br/~reltech/2007/abstracts.html}
 352 }
 353
 354 @TECHREPORT{vieira-tr10a,
 355   author = {Vieira, Gustavo Maciel Dias and Garcia, Islene Calciolari and Buzato,
 356         Luiz Eduardo},
 357   title = {Seamless {P}axos Coordinators},
 358   institution = {Institute of Computing, University of Campinas},
 359   year = {2010},
 360   number = {IC-10-13},
 361   month = apr,
 362   file = {vieira-tr10a.pdf:papers/vieira-tr10a.pdf:PDF},
 363   keywords = {paxos, leader election, dependability, performance},
 364   owner = {gdvieira},
 365   timestamp = {2010.04.27},
 366   url = {http://www.ic.unicamp.br/~reltech/2010/abstracts.html}
 367 }
 368
 369
 370 @INPROCEEDINGS{buzato09,
 371   author = {Luiz Eduardo Buzato and Gustavo Maciel Dias Vieira and Willy Zwaenepoel},
 372   title = {Dynamic Content Web Applications: Crash, Failover, and Recovery Analysis},
 373   booktitle = {DSN 2009: 39th International Conference on Dependable Systems and
 374         Networks},
 375   year = {2009},
 376   pages = {229--238},
 377   address = {Estoril, Lisbon, Portugal},
 378   month = jun,
 379   doi = {http://dx.doi.org/10.1109/DSN.2009.5270331},
 380   file = {buzato09.pdf:papers/buzato09.pdf:PDF},
 381   keywords = {active replication, dependability, performance},
 382   owner = {gdvieira},
 383   timestamp = {2009.11.16}
 384 }
 385
 386 @InCollection{Chor89,
 387   author =       {Chor, Benny and Dwork, Cynthia},
 388   booktitle =    {Advances in Computing research},
 389   title =        {Randomization in byzantine agreement},
 390   publisher =    {.},
 391   pages =        {443-497},
 392   year =         1989}
 393
 394 @comment{jabref-meta: selector_journal:}
 395
 396 @comment{jabref-meta: selector_author:}
 397
 398 @comment{jabref-meta: selector_keywords:}
 399
 400 @comment{jabref-meta: selector_publisher:}
 401
 402 @book{dolev2000self,
 403   title={{Self-stabilization}},
 404   author={Dolev, S.},
 405   isbn={0262041782},
 406   year={2000},
 407   publisher={The MIT press}
 408 }
 409
 410 @book{Lynch:1996:DA:525656,
 411  author = {Lynch, Nancy A.},
 412  title = {Distributed Algorithms},
 413  year = {1996},
 414  isbn = {1558603484},
 415  publisher = {Morgan Kaufmann Publishers Inc.},
 416  address = {San Francisco, CA, USA},
 417 }