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 条
  • [1] Model for Software Behaviour Detection Based on Process Algebra and System Call
    Shen Limin
    Wang Tao
    Ma Chuan
    CHINA COMMUNICATIONS, 2013, 10 (11) : 24 - 36
  • [2] A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System
    Wang, Tao
    Shen, Limin
    Ma, Chuan
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2014, 8 (03): : 965 - 983
  • [3] Process algebra approach to reasoning about concurrent actions
    Yuan Feng
    Ming-Sheng Ying
    Journal of Computer Science and Technology, 2004, 19 : 364 - 373
  • [4] Process algebra approach to reasoning about concurrent actions
    Feng, Y
    Ying, MS
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 364 - 373
  • [5] Reconfigurable Network Protocol Model Based on Process Algebra
    Jin, Kaichun
    Chen, Xingyuan
    Du, Xuehui
    Bao, Yibao
    Wang, Hongxu
    2014 SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2014), VOL 2, 2014,
  • [6] A process algebra based method for value analysis on service process model
    Ma C.
    Xu X.-F.
    Wang Z.-J.
    Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (11): : 2177 - 2189
  • [7] PAMR:: A process algebra for the management of resources in concurrent systems
    Núñez, M
    Rodríguez, I
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 169 - 184
  • [8] Analysis of DIRAC's behavior using model checking with process algebra
    Remenska, Daniela
    Templon, Jeff
    Willemse, Tim
    Bal, Henri
    Verstoep, Kees
    Fokkink, Wan
    Charpentier, Philippe
    Diaz, Ricardo Graciani
    Lanciotti, Elisa
    Roiser, Stefan
    Ciba, Krzysztof
    INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS 2012 (CHEP2012), PTS 1-6, 2012, 396
  • [9] AN APPROACH TO IMPROVE PROCESS ALGEBRA BASED PROTOCOL COMPOSITION MODEL
    Tian, Xiaoming
    Wu, Qiuxin
    2012 IEEE 2nd International Conference on Cloud Computing and Intelligent Systems (CCIS) Vols 1-3, 2012, : 666 - 669
  • [10] A truly concurrent semantics for a process algebra using resource pomsets
    Gastin, P
    Mislove, M
    THEORETICAL COMPUTER SCIENCE, 2002, 281 (1-2) : 369 - 421
12345