Frank A. Stomp, Willem P. de Roever. A Principle for Sequential Reasoning about Distributed Algorithms. Formal Asp. Comput., 6(6):716-737, 1994.
@article{StompR94, title = {A Principle for Sequential Reasoning about Distributed Algorithms}, author = {Frank A. Stomp and Willem P. de Roever}, year = {1994}, researchr = {https://researchr.org/publication/StompR94}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {6}, number = {6}, pages = {716-737}, }