%0 Journal Article %1 journals/afp/FiedlerT20 %A Fiedler, Ben %A Traytel, Dmitriy %D 2020 %J Arch. Formal Proofs %K dblp %T A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm. %U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FiedlerT20 %V 2020

@article{journals/afp/FiedlerT20, added-at = {2020-12-10T00:00:00.000+0100}, author = {Fiedler, Ben and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/288867e7750c19f889ec1ce81556fbc06/dblp}, ee = {https://www.isa-afp.org/entries/Chandy_Lamport.html}, interhash = {ce7e9d555497efef1bc2ed47fc9fc920}, intrahash = {88867e7750c19f889ec1ce81556fbc06}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:04.000+0200}, title = {A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FiedlerT20}, volume = 2020, year = 2020 }