Distributing a class of sequential programs

DOI10.1016/0167-6423(94)90007-8MaRDI QIDQ1330447zbMATH OpenOpenAlexFDO

Authors H. Peter Hofstee

Publication date 1 May 1995

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(94)90007-8

zbMATH Keywords

distributed algorithmsorting algorithmconcurrent solutionload-balancing algorithm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15)

Recommendations

• Dependency-driven distribution of synchronous programs
• Formal sequentialization of distributed systems via program rewriting
• Parallelization of sequential programs: distribution of arrays among processors and structurization of communications
• A principle for sequential reasoning about distributed algorithms
• scientific article; zbMATH DE number 4052998
• scientific article; zbMATH DE number 3947613

Cited in

(3)

• scientific article; zbMATH DE number 4064498 (Why is no real title available?)
• Automatic construction of CSP programs from sequential non-deterministic programs
• Distributing concurrent Ada programs by source translation

This page was built for publication: Distributing a class of sequential programs

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