Assertion list for term "used to handle deadlock".

Results from Ascent++: 1
catch ReceivesActionused to handle deadlock 0.25