Detecting Deadlocks in Concurrent Systems.

Lisbeth Fajstrup, Eric Goubault, Martin Rauen

Browse the full CONCUR paper archive.