Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus

被引：0
|
作者：
Robles-Granda, Pablo D. [1 ]
Khorasani, Elham S. [1 ]
Rahimi, Shahram [1 ]
Carver, Norman [1 ]
机构：
[1] Department of Computer Science, Southern Illinois University, Carbondale, 62901, United States
来源：
International Journal of Intelligent Information and Database Systems | 2012年 / 6卷 / 02期
关键词：
D O I：
10.1504/IJIIDS.2012.045847
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：154 / 179
相关论文
共 41 条
  • [1] Graphical Verification of a Spatial Logic for the pi-calculus
    Gadducci, Fabio
    Lafuente, Alberto Lluch
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 154 (02) : 31 - 46
  • [2] Building Multi-business Processes Coordination Model in Pi-Calculus
    Yuan, Min
    Huang, Zhiqiu
    Gao, Shouping
    2009 INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION AND SERVICE SCIENCE (NISS 2009), VOLS 1 AND 2, 2009, : 77 - +
  • [3] Automatic Service Composition Verification Based on Pi-calculus
    Peng, Yanbin
    Ye, Lv
    Zheng, Zhijun
    Xiang, Jian
    Jiang, Xueqin
    Gao, Ji
    Ai, Jieqing
    Lu, Zhenyu
    Jin, Yu
    2009 INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY, VOLS 1 AND 2, 2009, : 437 - +
  • [4] Soundness verification of business processes specified in the pi-calculus
    Puhlmann, Frank
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, 2007, 4803 : 6 - +
  • [5] Deadlock-free completely connected networks: Towards a pi-calculus approach
    Crowe, D
    StrainClark, P
    SOFTWARE ENGINEERING JOURNAL, 1996, 11 (02): : 122 - 131
  • [6] Compatibility Verification of Web Service Composition Based on Pi-calculus
    Jia, Zhichun
    Xing, Xing
    PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 244 - 248
  • [7] Pi-Calculus Based Formal Verification of Web Services Composition
    Agarwal, Saurabh
    Agarwal, Koshel
    INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (05): : 137 - 140
  • [8] Polyadic Pi-calculus based description and verification for web service
    Hu, Jing
    Rao, Guozheng
    Feng, Zhiyong
    Tianjin Daxue Xuebao (Ziran Kexue yu Gongcheng Jishu Ban)/Journal of Tianjin University Science and Technology, 2013, 46 (06): : 520 - 525
  • [9] A fully-abstract model for the pi-calculus
    Fiore, MP
    Moggi, E
    Sangiorgi, D
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 43 - 54
  • [10] Verification of Secure Gateway Selection Protocol Using PI-Calculus
    Rai, Abhay Kumar
    Tewari, Rajiv Ranjan
    2013 4TH NIRMA UNIVERSITY INTERNATIONAL CONFERENCE ON ENGINEERING (NUICONE 2013), 2013,
12345