Formal Specification of the MPI-2.0 Standard in TLA

被引：11

作者：

Li, Guodong ^{[1
]}

Delisi, Michael ^{[1
]}

Gopalakrishnan, Ganesh ^{[1
]}

Kirby, Robert M. ^{[1
]}

机构：

[1] Univ Utah, Sch Comp, Salt Lake City, UT 84112 USA

来源：

PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING | 2008年

关键词：

MPI; Formal Specification; TLA; Model Checking;

D O I：

10.1145/1345206.1345257

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：283 / 284

页数：2