Dealing with Priorities and Locks for Concurrent Programs.

Marcio Diaz, Tayssir Touili

Browse the full ATVA paper archive.