Mack W. Alford, Leslie Lamport, Geoff P. Mullery. Basic Concepts. In Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Volume 190 of Lecture Notes in Computer Science, pages 7-43, Springer, 1984.
@inproceedings{AlfordLM84, title = {Basic Concepts}, author = {Mack W. Alford and Leslie Lamport and Geoff P. Mullery}, year = {1984}, researchr = {https://researchr.org/publication/AlfordLM84}, cites = {0}, citedby = {0}, pages = {7-43}, booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich}, volume = {190}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-15216-4}, }