@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 2024/12/22}}}