Formal specification of the MPI-2.0 standard in TLA+

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal specification of the MPI-2.0 standard in TLA+

Full text

Pdf (128 KB)

Source

Principles and Practice of Parallel Programming archive
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming table of contents

Salt Lake City, UT, USA

POSTER SESSION: Poster session table of contents

Pages 283-284

Year of Publication: 2008

ISBN:978-1-59593-795-7

Authors

Guodong Li	University of Utah, Salt Lake City, USA
Michael Delisi	University of Utah, Salt Lake City, USA
Ganesh Gopalakrishnan	University of Utah, Salt Lake City, USA
Robert M. Kirby	University of Utah, Salt Lake City, USA

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 51, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1345206.1345257 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	CORPORATE The MPI Forum, MPI: a message passing interface, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.878-883, December 1993, Portland, Oregon, United States [doi>10.1145/169627.169855]
	2	www.openmp.org.
	3	www.cs.utah.edu/formal verification/ppopp08-mpispec/.
	4	Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan and Robert M. Kirby. An Approach to Formalization and Analysis of Message Passing Libraries, Formal Methods for Industry Critical Systems (FMICS), FLoC, Berlin, 2007.
	5	Leslie Lamport, The Win32 Threads API Specification. research.microsoft.com/users/lamport/tla/threads/threads.html
	6	Leslie Lamport, research.microsoft.com/users/lamport/tla/tla.html
	7	Salman Pervez, Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp, Practical Model Checking Method for Verifying Correctness of MPI Programs, EuroPVM/MPI, 344--353, 2007.