Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings | Publicación