Detecting Deadlocks in Concurrent Systems

Lisbeth Fajstrup, Eric Goubault, Martin Raußen. Detecting Deadlocks in Concurrent Systems. In Davide Sangiorgi, Robert de Simone, editors, CONCUR 98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Volume 1466 of Lecture Notes in Computer Science, pages 332-347, Springer, 1998. [doi]

Authors

Lisbeth Fajstrup

This author has not been identified. Look up 'Lisbeth Fajstrup' in Google

Eric Goubault

This author has not been identified. Look up 'Eric Goubault' in Google

Martin Raußen

This author has not been identified. Look up 'Martin Raußen' in Google