scientific article; zbMATH DE number 2079817

MaRDI QIDQ4471919zbMATH OpenFDO

Authors Juergen Dingel

Publication date 30 July 2004

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
• scientific article; zbMATH DE number 1759984
• Structural synthesis of parallel programs (methodology and tools)
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 1185933
• scientific article; zbMATH DE number 1949583

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
• scientific article; zbMATH DE number 140607 (Why is no real title available?)
• scientific article; zbMATH DE number 1949583 (Why is no real title available?)
• 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:

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