权威例句
livelock
THREAD LIVELOCK UNIT
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
The design of deadlock- and livelock-free packet switching networks
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
Adaptive deadlock- and livelock-free routing with all minimal paths in torus networks