A refinement calculus for shared-variable parallel and distributed programming

DOI10.1007/s001650200032zbMath1029.68034OpenAlexW2008590694MaRDI QIDQ1402468

Juergen Dingel

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650200032

zbMATH Keywords

Program transformationRefinementParallel programmingRefinement calculusFormal program developmentAssumption-commitment reasoningSystematic programmingTrace semantics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Generalised rely-guarantee concurrency: an algebraic foundation, On Rely-Guarantee Reasoning, Designing a semantic model for a wide-spectrum language with concurrency, Balancing expressiveness in formal approaches to concurrency, Probabilistic rely-guarantee calculus, Compositional analysis of C/C++ programs with veriSoft, Trace-based derivation of a scalable lock-free stack algorithm