Coordinating concurrency to avoid forbidden states in condition models.

Venkataramanan Venugopal, Lawrence E. Holloway

Browse the full ETFA paper archive.