Parallel operator schemata over variable arrays and the maximal parallelism problem

DOI10.1007/BF01071216zbMath0445.68007OpenAlexW2024188717MaRDI QIDQ3890088

V. A. Val'kovskij

Publication date: 1979

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01071216

zbMATH Keywords

maximal parallelism problemparallel operator schematavariable arrays

Mathematics Subject Classification ID

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

Cites Work

• Parallel program schemata
• On formalised computer programs
• Parallel Program Schemata and Maximal Parallelism II: Construction of Closures
• A Shared Memory Computer Display System

This page was built for publication: Parallel operator schemata over variable arrays and the maximal parallelism problem