Coordinating concurrency to avoid forbidden states in condition models. - Venkataramanan Venugopal; Lawrence E. Holloway (ETFA (1), 2003)