Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API

Authors:	Guodong Li Robert Palmer

Affiliation:	^a School of Computing, University of Utah, Salt Lake City, UT 84112, USA ^b Microsoft Corporation, USA

Abstract:

Keywords:	MPI Formal specification TLA+ Model checking
本文献已被 ScienceDirect 等数据库收录！