@inproceedings{inproceedings, title = {{A Discrete Geometric Model of Concurrent Program Execution}}, publisher = {{Springer International Publishing}}, url = {{http://eprints.whiterose.ac.uk/116278/ }}, year = {{2017}}, month = {{1}}, author = {{M枚ller B and Hoare T and M眉ller ME and Struth G}}, doi = {{10.1007/978-3-319-52228-9_1}}, isbn = {{9783319522272}}, pages = {{1-25}}, note = {{Accessed on 2025/06/25}}}