A Deadlock Detector for Synchronous Java.

Duc-Duy Vo, Claude Petitpierre

Browse the full SEKE paper archive.