Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li

Browse the full TASE paper archive.