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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
Συγγραφείς:	Mironov, A. M.^{Aff1, IDS014641162207015X_cor1}
Πηγή:	Automatic Control and Computer Sciences. 56(7):762-777
Βάση Δεδομένων:	Springer Nature Journals

Περιγραφή
ISSN:	01464116 1558108X
DOI:	10.3103/s014641162207015x