Compositional Termination Proofs for Multi-threaded Programs.

Corneliu Popeea, Andrey Rybalchenko

Browse the full TACAS paper archive.