TY  - RPRT
TI  - Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
AU  - Kai Stadtmüller
AU  - Martin Sulzmann
AU  - Peter Thiemann
PY  - 2016
UR  - https://arxiv.org/abs/1608.08330
ID  - 1608.08330
ER  -