A TIMED MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES

被引：0
|
作者：
REED, GM
ROSCOE, AW
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 226卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：314 / 323
页数：10
相关论文
共 50 条
  • [31] Transforming Communicating Sequential Processes to Petri Nets
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY, 2010, 94
  • [32] PyCSP - Communicating Sequential Processes for Python']Python
    Bjorndalen, John Markus
    Vinter, Brian
    Anshus, Otto
    WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, 2007, 65 : 229 - +
  • [33] A COMPLETE SET OF AXIOMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
    DENICOLA, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 115 - 126
  • [34] FORMAL JUSTIFICATION OF A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES
    APT, KR
    JOURNAL OF THE ACM, 1983, 30 (01) : 197 - 216
  • [35] CONTEXTUALLY COMMUNICATING SEQUENTIAL PROCESSES - A SOFTWARE ENGINEERING ENVIRONMENT
    ELIZABETH, M
    HULL, C
    DONNAN, G
    SOFTWARE-PRACTICE & EXPERIENCE, 1986, 16 (09): : 845 - 864
  • [36] A graphical tool for the visualization and animation of communicating sequential processes
    Abdallah, AE
    EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 165 - 172
  • [37] CSP-I - AN IMPLEMENTATION OF COMMUNICATING SEQUENTIAL PROCESSES
    WRENCH, KL
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (06): : 545 - 560
  • [38] TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSES
    MISRA, J
    CHANDY, KM
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (01): : 37 - 43
  • [39] Model checking logics for communicating sequential agents
    Huhn, M
    Niebert, P
    Wallner, F
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 227 - 242
  • [40] DISTRIBUTED IMPLEMENTATION OF NESTED COMMUNICATING SEQUENTIAL PROCESSES - COMMUNICATION AND TERMINATION
    BAIARDI, F
    FANTECHI, A
    TOMASI, A
    VANNESCHI, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1987, 4 (06) : 531 - 545
12345