Yoshisato Sakai. Convergence Verification of Asynchronous Iterations. In 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014. pages 171-181, IEEE, 2014. [doi]
@inproceedings{Sakai14-1, title = {Convergence Verification of Asynchronous Iterations}, author = {Yoshisato Sakai}, year = {2014}, doi = {10.1109/SRDS.2014.19}, url = {http://dx.doi.org/10.1109/SRDS.2014.19}, researchr = {https://researchr.org/publication/Sakai14-1}, cites = {0}, citedby = {0}, pages = {171-181}, booktitle = {33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014}, publisher = {IEEE}, isbn = {978-1-4799-5584-8}, }