Interprocedural Analysis of Concurrent Programs Under a Context Bound.

Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps

Browse the full TACAS paper archive.