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

Jieqi Ding Han Zhu Huibiao Zhu Qin Li Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. 327-328 2009 TASE http://dx.doi.org/10.1109/TASE.2009.27 conf/tase/2009 db/conf/tase/tase2009.html#DingZZL09