Paul Cheng-Yu Chen

1949

• Detection of synchronization faults in concurrent processes
• SCOPL