Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. - Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs; Yoshida, Nobuko (2014)