Academic Journal
View in EDS

A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model

Bibliographic Details
Title: A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
Authors: Mironov, A. M.Aff1, IDS014641162207015X_cor1
Source: Automatic Control and Computer Sciences. 56(7):762-777
Database: Springer Nature Journals
Description
ISSN:01464116
1558108X
DOI:10.3103/s014641162207015x