Detection of synchronization faults in concurrent processesPaul Cheng-Yu Chen · First published 1978Open the Tome