Detecting Deadlocks In Concurrent Systems (1998)

by Lisbeth Fajstrup , Eric Goubault , Martin Raussen
Venue:IN CONCUR’98: CONCURRENCY THEORY (NICE
Citations:46 - 11 self