Typing termination in a higher-order concurrent imperative language - Boudol, Gérard (Information & Computation, 2010)