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 条
  • [31] A Pi-Calculus based Context-Aware Model for Web Service Composition
    Bao, Li
    Deng, Yi
    2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE), 2017, : 77 - 81
  • [32] INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG
    Elmansouri, Raida
    Meghzili, Said
    Chaoui, Allaoua
    Belghiat, Aissam
    Hedjazi, Omar
    JORDANIAN JOURNAL OF COMPUTERS AND INFORMATION TECHNOLOGY, 2020, 6 (04): : 326 - 344
  • [33] Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement
    Zhao, Yefei
    Yang Zong-yuan
    Xie, Jinkui
    ICECT: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMPUTER TECHNOLOGY, PROCEEDINGS, 2009, : 604 - 609
  • [34] A model of large-scale Device Collaboration system based on PI-Calculus for green communication
    Pan Deng
    Jianwei Zhang
    Xiaohui Rong
    Feng Chen
    Telecommunication Systems, 2013, 52 : 1313 - 1326
  • [35] A model of large-scale Device Collaboration system based on PI-Calculus for green communication
    Deng, Pan
    Zhang, Jianwei
    Rong, Xiaohui
    Chen, Feng
    TELECOMMUNICATION SYSTEMS, 2013, 52 (02) : 1313 - 1326
  • [36] Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus
    Wang, Peng
    Yang, Ling
    Li, Guo Wen
    CLOUD COMPUTING (CLOUDCOMP 2015), 2016, 167 : 159 - 167
  • [37] Business process management - the third wave: business process modelling language (bpml) and its pi-calculus foundations
    Smith, H
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (15) : 1065 - 1069
  • [38] Towards formalization and verification of unified business process model based on Pi calculus
    Ma, Shuailiang
    Zhang, Li
    He, Jimei
    SERA 2008: 6TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, PROCEEDINGS, 2008, : 93 - 101
  • [39] Mapping Mobile Statechart Diagrams to the pi-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems
    Belghiat, Aissam
    Chaoui, Allaoua
    INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2016, 12 (04) : 1 - 20
  • [40] The alternative strategy for designing covalent drugs through kinetic effects of pi-stacking on the self-assembled nanoparticles: a model study with antibiotics
    Du, Libo
    Suo, Siqingaowa
    Zhang, Han
    Jia, Hongying
    Liu, Ke Jian
    Zhang, Xue Ji
    Liu, Yang
    NANOTECHNOLOGY, 2016, 27 (44)
12345