A Discrete Geometric Model of Concurrent Program Execution

From MaRDI portal
Publication:2971172

DOI10.1007/978-3-319-52228-9_1zbMath1483.68086OpenAlexW2570187344MaRDI QIDQ2971172

Georg Struth, Bernhard Möller, Martin Eric Müller, C. A. R. Hoare

Publication date: 4 April 2017

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/116278/1/UTP16-New6.pdf




Related Items (2)


Uses Software



Cites Work




This page was built for publication: A Discrete Geometric Model of Concurrent Program Execution