Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. - Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs; Yoshida, Nobuko (Log. Methods Comput. Sci., 2016)