TY  - CONF

T1  - A Discrete Geometric Model of Concurrent Program Execution

UR  - http://eprints.whiterose.ac.uk/116278/

PY  - 2017/01/01

AU  - Möller B

AU  - Hoare T

AU  - Müller ME

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/978-3-319-52228-9_1

PB  - Springer International Publishing

SN  - 9783319522272

SP  - 1

EP  - 25

Y2  - 2024/12/22

ER  -