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 条

[1] A TIMED MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
REED, GM
ROSCOE, AW
[J]. THEORETICAL COMPUTER SCIENCE, 1988, 58 (1-3) : 249 - 261
[2] A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES
JACOB, J
[J]. INFORMATION PROCESSING LETTERS, 1990, 35 (01) : 19 - 22
[3] Reachability of Communicating Timed Processes
Clemente, Lorenzo
Herbreteau, Frederic
Stainer, Amelie
Sutre, Gregoire
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 81 - 96
[4] A LISP IMPLEMENTATION OF THE MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
FIDGE, CJ
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (10): : 923 - 943
[5] ON COMMUNICATING SEQUENTIAL PROCESSES
PANDEY, BD
PATHAK, SS
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (09): : 1333 - 1348
[6] Supervisory Coordination of Timed Communicating Processes
Markovski, Jasen
[J]. ICT INNOVATIONS 2013: ICT INNOVATIONS AND EDUCATION, 2014, 231 : 209 - 218
[7] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[8] A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES WITH A NOTION OF TRANSACTIONS
JACOB, J
[J]. INFORMATION PROCESSING LETTERS, 1992, 41 (01) : 9 - 12
[9] Decidability of timed language-inclusion for networks of real-time communicating sequential processes
Yi, W
Jonsson, B
[J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 243 - 255
[10] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
[J]. JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599

← 1 2 3 4 5 →