scientific article; zbMATH DE number 3938542

MaRDI QIDQ3709868zbMATH OpenFDO

Authors Alberto Pettorossi, Andrzej Skowron

Publication date 1985

zbMATH Keywords

communicationsefficiency of applicative parallel programsparallel concurrent programsprogram transformationprogramming methodology

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1760065
• Refinement of parallel algorithms
• scientific article; zbMATH DE number 3978360
• scientific article; zbMATH DE number 4205977
• A refinement calculus for shared-variable parallel and distributed programming

Cited in

(2)

• Communication relations: A paradigm for parallel program design
• scientific article; zbMATH DE number 7453187 (Why is no real title available?)

This page was built for publication:

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