TY  - RPRT
TI  - A framework for deadlock detection in core ABS
AU  - Elena Giachino
AU  - Cosimo Laneve
AU  - Michael Lienhardt
PY  - 2015
DO  - 10.1007/s10270-014-0444-y
UR  - https://arxiv.org/abs/1511.04926
ID  - 1511.04926
ER  -