Communication and parallelism introduction and elimination in imperative concurrent programs

DOI10.1007/3-540-47764-0_2MaRDI QIDQ4778694zbMATH OpenFDO

Authors Miquel Bertran, Francesc Babot, August Climent, Miquel Nicolau

Publication date 19 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260020

Mathematics Subject Classification ID

Numerical methods for discrete and fast Fourier transforms (65T50) Parallel numerical computation (65Y05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Formal sequentialization of distributed systems via program rewriting
• On transformations of concurrent-object programs
• On transformations of concurrent object programs
• scientific article; zbMATH DE number 4106264
• Communication relations: A paradigm for parallel program design

Cited in

(4)

• Communication relations: A paradigm for parallel program design
• Formal sequentialization of distributed systems via program rewriting
• scientific article; zbMATH DE number 4106264 (Why is no real title available?)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models

This page was built for publication: Communication and parallelism introduction and elimination in imperative concurrent programs

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