On the correctness of parallel algorithms
From MaRDI portal
Publication:1276521
zbMath0909.68116MaRDI QIDQ1276521
Yu. G. Karpov, V. V. Rudakov, A. V. Borshchev
Publication date: 31 January 1999
Published in: Programming and Computer Software (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: On the correctness of parallel algorithms
