Dis-alg

Bibliography

% Bab

@article{Babaoglu96,

author = {Babao\u{g}lu, \"{O}zalp and Fromentin, Eddy and Raynal, Michel},
title = {A unified framework for the specification and run-time detection of dynamic properties in distributed computations},
journal = {J. Syst. Softw.},
volume = {33},
number = {3},
year = {1996},
issn = {0164-1212},
pages = {287--298},
doi = {http://dx.doi.org/10.1016/0164-1212(96)00027-1 },
publisher = {Elsevier Science Inc.},
address = {New York, NY, USA},

}

% Fis

@article{Fischer85,

author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
title = {Impossibility of Distributed Consensus with One Faulty Process},
journal = {J. ACM},
issue_date = {April 1985},
volume = {32},
number = {2},
month = apr,
year = {1985},
issn = {0004-5411},
pages = {374--382},
numpages = {9},
url = {http://doi.acm.org/10.1145/3149.214121 },
doi = {10.1145/3149.214121},
acmid = {214121},
publisher = {ACM},
address = {New York, NY, USA},

}

%Gol

@inproceedings{Golab11,

author = {Golab, Wojciech and Li, Xiaozhou and Shah, Mehul A.},
title = {Analyzing consistency properties for fun and profit},
booktitle = {Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
series = {PODC '11},
year = {2011},
isbn = {978-1-4503-0719-2},
location = {San Jose, California, USA},
pages = {197--206},
numpages = {10},
url = {http://doi.acm.org/10.1145/1993806.1993834 },
doi = {http://doi.acm.org/10.1145/1993806.1993834 },
acmid = {1993834},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {atomicity, consistency, key-value store},

}

% Her

@inproceedings{Herlihy2011,

author = {Herlihy, Maurice and Shavit, Nir},
title = {On the Nature of Progress},
booktitle = {Proceedings of the 15th International Conference on Principles of Distributed Systems},
series = {OPODIS'11},
year = {2011},
isbn = {978-3-642-25872-5},
location = {Toulouse, France},
pages = {313--328},
numpages = {16},
url = {http://dx.doi.org/10.1007/978-3-642-25873-2_22 },
doi = {10.1007/978-3-642-25873-2_22},
acmid = {2183558},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},

}

% Lam

@article{Lamport78,

author = {Leslie Lamport},
title = {Time, clocks, and the ordering of events in a distributed system},
journal = {Commun. ACM},
volume = {21},
number = {7},
year = {1978},
issn = {0001-0782},
pages = {558--565},
doi = {http://doi.acm.org/10.1145/359545.359563 },
publisher = {ACM},
address = {New York, NY, USA},

}

%Mat

@inproceedings{Mattern89, author = {Friedemann Mattern}, title = {Virtual time and global states of distributed systems}, booktitle = "Proc. International Workshop on Parallel and Distributed Algorithms", address = "Holland", year = {1989}, pages = {215--226}, }