Data dependence and its application to parallel processing
From MaRDI portal
Publication:1099946
DOI10.1007/BF01379099zbMath0639.68019MaRDI QIDQ1099946
Publication date: 1987
Published in: International Journal of Parallel Programming (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items