Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, no central supervisor can be implemented, which makes it more complicated to avoid deadlock problems. This paper describes the interactions of web services and shared web resources using CSP method. Deadlocks can be analyzed based on the formal model.