FROMCOMPU-TING2013FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUSHouguang YueInternational Journal of Foundations of Computer ScienceDOI
Modelingandanalyzing2012Modeling and analyzing mixed communications in service-oriented trustworthy softwareJianmin Jiang, Zhang Shi, Ping Gong, Hong Zhong, Houguang YueScience China Information SciencesDOI