On the correctness of parallel algorithms

zbMath0909.68116MaRDI QIDQ1276521

Yu. G. Karpov, A. V. Borshchev, V. V. Rudakov

Publication date: 31 January 1999

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

COVERS system

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)