Guodong Li Michael Delisi Ganesh Gopalakrishnan Robert M. Kirby Formal specification of the MPI-2.0 standard in TLA+. 283-284 2008 PPOPP http://doi.acm.org/10.1145/1345206.1345257 conf/ppopp/2008 db/conf/ppopp/ppopp2008.html#LiDGK08