A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89247-2_8 ◽

2008 ◽

pp. 119-136 ◽

Cited By ~ 2

Author(s):

Horatiu Jula ◽

George Candea

Download Full-text