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 条
  • [31] Developments in Concurrent Kleene Algebra
    Hoare, Tony
    van Staden, Stephan
    Moeller, Bernhard
    Struth, Georg
    Zhu, Huibiao
    Villard, Jules
    Hearn, Peter O.
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 1 - 18
  • [32] Concurrent Kleene Algebra with Tests
    Jipsen, Peter
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 37 - 48
  • [33] Developments in concurrent Kleene algebra
    Hoare, Tony
    van Staden, Stephan
    Moeller, Bernhard
    Struth, Georg
    Zhu, Huibiao
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 617 - 636
  • [34] AN ALGEBRA OF CONCURRENT NONDETERMINISTIC PROCESSES
    CHERKASOVA, LA
    KOTOV, VE
    THEORETICAL COMPUTER SCIENCE, 1991, 90 (01) : 151 - 170
  • [35] Probabilistic Concurrent Kleene Algebra
    McIver, Annabelle
    Rabehaja, Tahiry
    Struth, Georg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 97 - 115
  • [36] Foundations of Concurrent Kleene Algebra
    Hoare, C. A. R.
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5827 : 166 - +
  • [37] Methodology for an integrated design and process planning based on a concurrent engineering reference model
    Universidade de Sao Paulo, Brazil
    CIRP Ann Manuf Technol, 1 (403-406):
  • [38] A User Behavior Perception Model Based on Markov Process
    Shi, Zhan
    Li, Yuhong
    Han, Li
    Ma, Jian
    WEB INFORMATION SYSTEMS AND MINING, PROCEEDINGS, 2009, 5854 : 508 - +
  • [39] ME-based process planning model for concurrent product design and process planning of mechanical parts
    Zhang, Zhenming
    Huang, Naikang
    Jixie Kexue Yu Jishu/Mechanical Science and Technology, 1998, 17 (01): : 170 - 172
  • [40] Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
    Baeten, J. C. M.
    van Beek, D. A.
    Cuijpers, P. J. L.
    Reniers, M. A.
    Rooda, J. E.
    Schiffelers, R. R. H.
    Theunissen, R. J. M.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 209 (0C) : 21 - 53
12345