Synchronisation analysis to stop tupling (1998)

by W-N Chin, S-C Khoo, T-W Lee
Venue:Lecture Notes in Computer Science