@misc{indiciaee89de58d0d2d,
  title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  author = {Claudio Corrodi and Alexander Heußner and Christopher M. Poskitt},
  year = {2016},
  doi = {10.1007/978-3-662-49665-7\_3},
  url = {https://arxiv.org/abs/1603.00307},
  note = {Source identifier: 1603.00307}
}