Vijay K. Garg, Alexander I. Tomlinson. Causality versus time: how to specify and verify distributed algorithms. In Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, SPDP 1994, Dallas, Texas, USA , October 26-29, 1994. pages 249-256, IEEE Computer Society, 1994. [doi]
@inproceedings{GargT94-0, title = {Causality versus time: how to specify and verify distributed algorithms}, author = {Vijay K. Garg and Alexander I. Tomlinson}, year = {1994}, doi = {10.1109/SPDP.1994.346160}, url = {http://doi.ieeecomputersociety.org/10.1109/SPDP.1994.346160}, researchr = {https://researchr.org/publication/GargT94-0}, cites = {0}, citedby = {0}, pages = {249-256}, booktitle = {Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, SPDP 1994, Dallas, Texas, USA , October 26-29, 1994}, publisher = {IEEE Computer Society}, isbn = {0-8186-6427-4}, }