Mani Swaminathan, Joost-Pieter Katoen, Ernst-RĂ¼diger Olderog. Layered reasoning for randomized distributed algorithms. Formal Asp. Comput., 24(4-6):477-496, 2012. [doi]
@article{SwaminathanKO12, title = {Layered reasoning for randomized distributed algorithms}, author = {Mani Swaminathan and Joost-Pieter Katoen and Ernst-RĂ¼diger Olderog}, year = {2012}, doi = {10.1007/s00165-012-0231-x}, url = {http://dx.doi.org/10.1007/s00165-012-0231-x}, researchr = {https://researchr.org/publication/SwaminathanKO12}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {24}, number = {4-6}, pages = {477-496}, }