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]
Abstract is missing.