Kaisa Sere, Marina A. Waldén. Structuring and Verifying Distributed Algorithms. Nord. J. Comput., 8(2):193-218, 2001. [doi]
@article{SereW01, title = {Structuring and Verifying Distributed Algorithms}, author = {Kaisa Sere and Marina A. Waldén}, year = {2001}, url = {http://www.cs.helsinki.fi/njc/References/serew:193.html}, researchr = {https://researchr.org/publication/SereW01}, cites = {0}, citedby = {0}, journal = {Nord. J. Comput.}, volume = {8}, number = {2}, pages = {193-218}, }