Sign in

The theory of deadlock avoidance via discrete control.

Yin WangStéphane LafortuneTerence KellyManjunath KudlurScott A. Mahlke
Published in: POPL (2009)
Keyphrases