@inproceedings{GKL2012SpeculativeLinearizability,
         title = {Speculative linearizability},
        author = {Rachid Guerraoui and Viktor Kuncak and Giuliano Losa},
        editor = {Jan Vitek and Haibo Lin and Frank Tip},
     booktitle = {PLDI},
          year = {2012},
         pages = {55--66},
     publisher = {{ACM}},
           doi = {10.1145/2254064.2254072},
          link = {http://doi.acm.org/10.1145/2254064.2254072}
}

@article{HerlihyWing90Linearizability,
  author = {Herlihy, Maurice P. and Wing, Jeannette M.},
  title = {Linearizability: a correctness condition for concurrent objects},
  journal = {ACM Trans. Program. Lang. Syst.},
  volume = {12},
  number = {3},
  year = {1990},
  issn = {0164-0925},
  pages = {463--492},
  doi = {http://doi.acm.org/10.1145/78969.78972},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@ARTICLE{Lamport98PartTimeParliament,
  author = {Leslie Lamport and Keith Marzullo},
  title = {The part-time parliament},
  journal = {ACM Transactions on Computer Systems},
  year = {1998},
  volume = {16},
  pages = {133--169}
}


@article{Lynch89anintroduction,
  author = {Nancy A. Lynch and Mark R. Tuttle},
  journal = {CWI Quarterly},
  pages = {219--246},
  title = {An introduction to input/output automata},
  volume = 2,
  year = 1989,
}

@phdthesis{Losa2014,
    title    = {Modularity in the design of robust distributed algorithms},
    school   = {EPFL},
    author   = {Losa, Giuliano},
    year     = {2014},
}
