Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jieqi Ding' in GoogleThis author has not been identified. Look up 'Han Zhu' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Qin Li' in Google

runs on WebDSL