Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li. Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. In Roy Sterritt, Brandon Eames, Jonathan Sprinkle, editors, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. pages 335-343, IEEE Computer Society, 2010. [doi]
Abstract is missing.