Jean-Pierre Verjus. On the Proof of a Distributed Algorithm. Inf. Process. Lett., 25(3):145-147, 1987.
@article{Verjus87, title = {On the Proof of a Distributed Algorithm}, author = {Jean-Pierre Verjus}, year = {1987}, researchr = {https://researchr.org/publication/Verjus87}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {25}, number = {3}, pages = {145-147}, }