Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.

Adrien Pommellet, Tayssir Touili

Browse the full APLAS paper archive.