@article{MoellerHoareMuelleretal.2017,
  author    = {Bernhard M{\"o}ller and Tony Hoare and Martin E. M{\"u}ller and Georg Struth},
  title     = {A discrete geometric model of concurrent program execution},
  journal   = {Lecture Notes in Computer Science},
  volume    = {10134},
  pages     = {1 -- 25},
  doi       = {10.1007/978-3-319-52228-9_1},
  year      = {2017},
}