TY  - RPRT
TI  - Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
AU  - Søren Debois
AU  - Thomas Hildebrandt
AU  - Tijs Slaats
AU  - Nobuko Yoshida
PY  - 2016
DO  - 10.2168/lmcs-12(1:1)2016
UR  - https://arxiv.org/abs/1510.06658
ID  - 1510.06658
ER  -