Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources | IEEE Conference Publication | IEEE Xplore