Context-Bounded Analysis of Concurrent Queue Systems.

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

Browse the full TACAS paper archive.