Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
暂无分享,去创建一个
Qin Li | Huibiao Zhu | Han Zhu | Jieqi Ding | Han Zhu | Qin Li | Huibiao Zhu | Jieqi Ding
[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[2] Stefano Modafferi,et al. A Framework for Using Web Services to Enhance QoS for Content Delivery , 2009, IEEE Multimedia.