The Role of Auxiliary Variables in the Formal Development of Concurrent Programs

DOI10.1007/978-1-84882-912-1_8zbMath1215.68061OpenAlexW1657920802MaRDI QIDQ3163402

No author found.

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_8

zbMATH Keywords

compositionality

Mathematics Subject Classification ID

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

Related Items (3)

Possible values: exploring a concept for concurrency ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Elucidating concurrent algorithms via layers of abstraction and reification

This page was built for publication: The Role of Auxiliary Variables in the Formal Development of Concurrent Programs