Jieqi Ding

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS (2010)
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE (2009)