Communication relations: A paradigm for parallel program design

DOI10.1016/0167-6423(92)90003-TzbMath0754.68087OpenAlexW1967766701MaRDI QIDQ1199833

Jean-Pierre Finance, Guy-René Perrin

Publication date: 17 January 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(92)90003-t

zbMATH Keywords

cooperationparallel programmingspecificationparallelism models

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

This page was built for publication: Communication relations: A paradigm for parallel program design