Application of Typed Pi Calculus in Web Service Choreography

JIANG Meng-zhi

doi:10.3969/j.issn.1009-444X.2009.01.014

Volume 23 Issue 1

Mar. 2009

Turn off MathJax

Article Contents

Article Navigation > Journal of Shanghai University of Engineering Science > 2009 > 23(1): 51-55

JIANG Meng-zhi. Application of Typed Pi Calculus in Web Service Choreography[J]. Journal of Shanghai University of Engineering Science, 2009, 23(1): 51-55. doi: 10.3969/j.issn.1009-444X.2009.01.014

Citation:

JIANG Meng-zhi. Application of Typed Pi Calculus in Web Service Choreography[J]. Journal of Shanghai University of Engineering Science, 2009, 23(1): 51-55. doi: 10.3969/j.issn.1009-444X.2009.01.014

JIANG Meng-zhi. Application of Typed Pi Calculus in Web Service Choreography[J]. Journal of Shanghai University of Engineering Science, 2009, 23(1): 51-55. doi: 10.3969/j.issn.1009-444X.2009.01.014

Citation:

JIANG Meng-zhi. Application of Typed Pi Calculus in Web Service Choreography[J]. Journal of Shanghai University of Engineering Science, 2009, 23(1): 51-55. doi: 10.3969/j.issn.1009-444X.2009.01.014

PDF( 274 KB)