Travelled to:
1 × Korea
Collaborated with:
L.Han K.Xing M.Zhou F.Wang
Talks about:
deadlock (1) transit (1) resourc (1) prevent (1) circuit (1) polici (1) stage (1) base (1) two (1)
Person: Huixia Liu
DBLP: Liu:Huixia
Contributed to:
Wrote 1 papers:
- CASE-2012-HanXZLW #concurrent #policy
- Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.