Towards a unified development methodology for shared-variable parallel and distributed programs

DOI10.1007/3-540-40911-4_13MaRDI QIDQ4471919zbMATH OpenFDO

Authors Juergen Dingel

Publication date 30 July 2004

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/1945/19450214.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A refinement calculus for shared-variable parallel and distributed programming
• scientific article; zbMATH DE number 4052998
• Unifying theories for parallel programming
• Structural synthesis of parallel programs (methodology and tools)
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 1185933
• Unifying theories of parallel programming

Cited in

(9)

• A refinement calculus for shared-variable parallel and distributed programming
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Generalised rely-guarantee concurrency: an algebraic foundation
• A method of program transformation between variable sharing and message passing
• Pseudo-parallelity and distributed programming under UNIX-System\;V
• Unifying theories of parallel programming
• Transfer Principles for Reasoning About Concurrent Programs
• Balancing expressiveness in formal approaches to concurrency

Describes a project that uses

Uses Software

• Z/EVES

This page was built for publication: Towards a unified development methodology for shared-variable parallel and distributed programs

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