Deadlock Analysis of Wait-Notify Coordination
Cosimo Laneve
◽
Luca Padovani
1994 ◽
Vol 23
(1)
◽
pp. 55-89
◽
P. Rondogiannis
◽
M.H.M. Cheng
Juan-Pablo Lopez-Grao
◽
Jose-Manuel Colom
Pedro Antonino
◽
Augusto Sampaio
◽
Jim Woodcock
Jieqi Ding
◽
Han Zhu
◽
Huibiao Zhu
◽
Qin Li
Carlos A. Rovetto
◽
Elia E. Cano
◽
Jose-Manuel Colom
Elina Unruh
◽
Patrick Delfmann
◽
Matthias Thimm
Jaskaran Singh Grover
◽
Changliu Liu
◽
Katia Sycara