Jun Liu

Modeling and Verifying Web Service Behaviors Based on Live Sequence Chart Specifications

Honghao Gao, Yuanyuan Zhang, Jun Liu, 2011 .

A new two-phase kinetic model of sporulation of Clonostachys rosea in a new solid-state fermentation reactor

Ying Liu, Yuanyuan Zhang, Jun Liu, 2013 .

Modeling Web Services Composition with Timed Pi Calculus

Yuanyuan Zhang, Jun Liu, Yan Wu, 2011 .