Model of concurrent behavior detection based on process algebra

被引：0
|
作者：
Ma, Chuan [1 ]
Wang, Tao [1 ,2 ]
Shen, Li-Min [1 ]
机构：
[1] College of Info. Sci. and Eng., Yanshan Univ., Qinhuangdao 066004, China
[2] Hebei Normal Univ. of Sci. and Technol., Qinhuangdao 066004, China
来源：
Sichuan Daxue Xuebao (Gongcheng Kexue Ban)/Journal of Sichuan University (Engineering Science Edition) | 2014年 / 46卷 / 01期
关键词：
723 Computer Software; Data Handling and Applications - 723.5 Computer Applications - 921.1 Algebra - 921.4 Combinatorial Mathematics; Includes Graph Theory; Set Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
13
引用
收藏
页码：35 / 40
相关论文
共 50 条
  • [21] A process algebra model of the immune system
    Monroy, R
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 526 - 533
  • [22] Concurrent Dynamic Algebra
    Furusawa, Hitoshi
    Struth, Georg
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (04)
  • [23] The model research of minimizing the concurrent design cycle based on process conflict
    Yang, Guihai
    Liu, Weidong
    Dong, Qiuxian
    Zhu, Min
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING MANAGEMENT, 2009, : 484 - 488
  • [24] CONCURRENT-DEVELOPMENT PROCESS MODEL
    AOYAMA, M
    IEEE SOFTWARE, 1993, 10 (04) : 46 - 55
  • [25] A model architecture for concurrent process engineering
    Lu, ML
    PROCESS SYSTEMS ENGINEERING 2003, PTS A AND B, 2003, 15 : 1322 - 1327
  • [26] FREQUENCY, PREFERENCE, AND THE CONCURRENT PROCESS MODEL
    LEE, MA
    SUNDBERG, JL
    BERNSTEIN, IH
    BULLETIN OF THE PSYCHONOMIC SOCIETY, 1991, 29 (06) : 508 - 508
  • [27] Hierarchical process model for concurrent activity
    Kikuchi, Y
    Kishinami, T
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 1995, 3 (01): : 55 - 59
  • [28] A Highly Concurrent Process Virtual Machine Based on Event-driven Process Execution Model
    Wu, Dongyao
    Wei, Jun
    Gao, Chushu
    Dou, Wenshen
    2012 NINTH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2012, : 61 - 69
  • [29] Towards model checking stochastic process algebra
    Hermanns, H
    Katoen, JP
    Meyer-Kayser, J
    Siegle, M
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 420 - 439
  • [30] Process algebra model of Ada protected objects
    Liu, YA
    Xu, BW
    ACM SIGPLAN NOTICES, 2004, 39 (02) : 34 - 39
12345