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},

}

% 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},

}