Termination and Cost Analysis of Loops with Concurrent Interleavings | Publicación