@misc{indiciaef278cd31910c,
  title = {Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion},
  author = {Søren Debois and Thomas Hildebrandt and Tijs Slaats and Nobuko Yoshida},
  year = {2016},
  doi = {10.2168/lmcs-12(1:1)2016},
  url = {https://arxiv.org/abs/1510.06658},
  note = {Source identifier: 1510.06658}
}