TY  - RPRT
TI  - A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
AU  - Claudio Corrodi
AU  - Alexander Heußner
AU  - Christopher M. Poskitt
PY  - 2016
DO  - 10.1007/978-3-662-49665-7_3
UR  - https://arxiv.org/abs/1603.00307
ID  - 1603.00307
ER  -