External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal specification of the MPI-2.0 standard in TLA+

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]

Authors

Guodong Li

This author has not been identified. Look up 'Guodong Li' in Google

Michael Delisi

This author has not been identified. Look up 'Michael Delisi' in Google

Ganesh Gopalakrishnan

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

Robert M. Kirby

This author has not been identified. Look up 'Robert M. Kirby' in Google
runs on