Termination and Cost Analysis of Loops with Concurrent Interleavings.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin

Browse the full ATVA paper archive.