Determinacy and maximal parallelism in a structured model of parallel computation

DOI10.1007/BF02575932MaRDI QIDQ1138368zbMATH OpenFDO

Authors Ines Margaria, Angelo Raffaele Meo, Maddalena Zacchi

Publication date 1979

Published in Calcolo (Search for Journal in Brave)

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

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

• scientific article; zbMATH DE number 3562464 (Why is no real title available?)
• scientific article; zbMATH DE number 3420254 (Why is no real title available?)
• A Comparison of Some Theoretical Models of Parallel Computation
• Analysis of Programs for Parallel Processing
• Optimization Strategies for Microprograms
• Parallel program schemata
• Some Undecidability Results for Parallel Program Schemata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1138368)