Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. Formal specification of the MPI-2.0 standard in TLA+. In Siddhartha Chatterjee, Michael L. Scott, editors, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008. pages 283-284, ACM, 2008. [doi]
@inproceedings{LiDGK08,
title = {Formal specification of the MPI-2.0 standard in TLA+},
author = {Guodong Li and Michael Delisi and Ganesh Gopalakrishnan and Robert M. Kirby},
year = {2008},
doi = {10.1145/1345206.1345257},
url = {http://doi.acm.org/10.1145/1345206.1345257},
researchr = {https://researchr.org/publication/LiDGK08},
cites = {0},
citedby = {0},
pages = {283-284},
booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008},
editor = {Siddhartha Chatterjee and Michael L. Scott},
publisher = {ACM},
isbn = {978-1-59593-795-7},
}