留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

类型化Pi演算在Web服务组合中的应用

姜梦稚

姜梦稚. 类型化Pi演算在Web服务组合中的应用[J]. 上海工程技术大学学报, 2009, 23(1): 51-55. doi: 10.3969/j.issn.1009-444X.2009.01.014
引用本文: 姜梦稚. 类型化Pi演算在Web服务组合中的应用[J]. 上海工程技术大学学报, 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

类型化Pi演算在Web服务组合中的应用

doi: 10.3969/j.issn.1009-444X.2009.01.014
详细信息
  • 中图分类号: TP312

Application of Typed Pi Calculus in Web Service Choreography

计量
  • 文章访问数:  142
  • HTML全文浏览量:  41
  • PDF下载量:  38
  • 被引次数: 0
出版历程
  • 刊出日期:  2009-03-30

目录

    /

    返回文章
    返回