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 条
  • [21] A Proof System for Communicating Sequential Processes
    Apt, Krzysztof R.
    Francez, Nissim
    De Roever, Willem P.
    ACM Transactions on Programming Languages and Systems, 1980, 2 (03): : 359 - 385
  • [22] ON PROCESSES, SYNCHRONIZATION AND REDUNDANT CODE IN COMMUNICATING SEQUENTIAL PROCESSES
    DONNAN, G
    HULL, MEC
    COMPUTER LANGUAGES, 1986, 11 (3-4): : 155 - 160
  • [23] Research of Formal Establish Security Protocol Attacker Model in Communicating Sequential Processes
    Li, Jun-lin
    Zhou, Hua
    2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE (ICCSAI 2013), 2013, : 79 - 81
  • [24] THE COMPLEXITY OF PROBLEMS IN SYSTEMS OF COMMUNICATING SEQUENTIAL PROCESSES
    LADNER, RE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 21 (02) : 179 - 194
  • [25] Communicating sequential processes for distributed constraint satisfaction
    Sakellariou, I
    Vlahavas, I
    Futo, I
    Pasztor, Z
    Szeredi, J
    INFORMATION SCIENCES, 2006, 176 (05) : 490 - 521
  • [26] RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSES
    GUERREIRO, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 310 - 326
  • [27] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
    CIESLAK, RA
    VARAIYA, P
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 2701 - 2707
  • [28] A singleton failures semantics for Communicating Sequential Processes
    Bolton, Christie
    Davies, Jim
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) : 181 - 210
  • [29] A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES - COMMENT
    MOITRA, A
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (03): : 500 - 501
  • [30] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
    CIESLAK, RA
    VARAIYA, PP
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (09) : 1032 - 1039
12345