Determinacy and maximal parallelism in a structured model of parallel computation

DOI10.1007/BF02575932zbMath0431.68020MaRDI QIDQ1138368

Angelo Raffaele Meo, Maddalena Zacchi, Ines Margaria

Publication date: 1979

Published in: Calcolo (Search for Journal in Brave)

zbMATH Keywords

parallel computationscorrect parallel programsoptimization of horizontal microprograms

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Parallel program schemata
• Analysis of Programs for Parallel Processing
• Optimization Strategies for Microprograms
• Some Undecidability Results for Parallel Program Schemata
• A Comparison of Some Theoretical Models of Parallel Computation

This page was built for publication: Determinacy and maximal parallelism in a structured model of parallel computation