Analysis of Event Synchronization in Parallel Programs. - J. Ramanujam; Ashvin Mathew (LCPC, 1994)