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