Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

Sren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida

Browse the full FORTE paper archive.