The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
From MaRDI portal
Publication:3163402
DOI10.1007/978-1-84882-912-1_8zbMath1215.68061MaRDI 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Elucidating concurrent algorithms via layers of abstraction and reification, Balancing expressiveness in formal approaches to concurrency, Possible values: exploring a concept for concurrency