查看“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},
}