By Topic

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Jieqi Ding ; Software Eng. Inst., East China Normal Univ., Shanghai, China ; Han Zhu ; Huibiao Zhu ; Qin Li

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.

Published in:

Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on

Date of Conference:

29-31 July 2009