DESIGN AND PROOF OF COMMUNICATING SEQUENTIAL PROCESSES

被引：0
|
作者：
GRIBOMONT, EP
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 259卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：261 / 276
页数：16
相关论文
共 50 条
  • [21] Communicating sequential processes for distributed constraint satisfaction
    Sakellariou, I
    Vlahavas, I
    Futo, I
    Pasztor, Z
    Szeredi, J
    INFORMATION SCIENCES, 2006, 176 (05) : 490 - 521
  • [22] RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSES
    GUERREIRO, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 310 - 326
  • [23] 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
  • [24] A singleton failures semantics for Communicating Sequential Processes
    Bolton, Christie
    Davies, Jim
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) : 181 - 210
  • [25] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
    CIESLAK, RA
    VARAIYA, PP
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (09) : 1032 - 1039
  • [26] 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
  • [27] PyCSP - Communicating Sequential Processes for Python']Python
    Bjorndalen, John Markus
    Vinter, Brian
    Anshus, Otto
    WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, 2007, 65 : 229 - +
  • [28] A LISP IMPLEMENTATION OF THE MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
    FIDGE, CJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (10): : 923 - 943
  • [29] A PROOF SYSTEM FOR COMMUNICATING PROCESSES WITH VALUE-PASSING
    HENNESSY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 325 - 339
  • [30] A PROOF SYSTEM FOR COMMUNICATING PROCESSES WITH VALUE-PASSING
    HENNESSY, M
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 325 - 339
12345