Operator composition in a multidimensional structurally oriented model of parallel computations and systems

DOI10.1007/BF01072150zbMath0562.68020MaRDI QIDQ3675513

Mark S. Burgin

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

optimizationtransformation of programsparallel executabilitytime- sharing procedures in multiprocessor computer systems with matrix processors

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

DECIDABILITY AND UNIVERSALITY IN THE AXIOMATIC THEORY OF COMPUTABILITY AND ALGORITHMS

Cites Work

• Unnamed Item

This page was built for publication: Operator composition in a multidimensional structurally oriented model of parallel computations and systems