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 条

[41] A GENERALIZED MESSAGE-PASSING MECHANISM FOR COMMUNICATING SEQUENTIAL PROCESSES
LENDERS, PM
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 646 - 651
[42] ON THE EXISTENCE OF GENERIC BROADCAST ALGORITHMS IN NETWORKS OF COMMUNICATING SEQUENTIAL PROCESSES
BOUGE, L
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 312 : 388 - 407
[43] DENOTATIONAL SEMANTICS OF PROGRAM SCHEMAS FOR LANGUAGES FOR COMMUNICATING SEQUENTIAL PROCESSES
KORABLIN, YP
NALITOV, SD
PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 118 - 128
[44] 2 COMPLETE AXIOM SYSTEMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
INFORMATION AND CONTROL, 1985, 64 (1-3): : 136 - 172
[45] Scalable FIFO Channels for Programming via Communicating Sequential Processes
Koval, Nikita
Alistarh, Dan
Elizarov, Roman
EURO-PAR 2019: PARALLEL PROCESSING, 2019, 11725 : 317 - 333
[46] DESIGN AND IMPLEMENTATION OF AN EXCEPTION HANDLING MECHANISM FOR COMMUNICATING SEQUENTIAL PROCESSES
ISSARNY, V
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 604 - 615
[47] THE TRANSFORMATION OF COLLECTIONS OF COMMUNICATING SEQUENTIAL PROCESSES THAT REPRESENT PIPELINE CONFIGURATIONS
WILLIAMS, SA
PARALLEL COMPUTING, 1985, 2 (04) : 345 - 351
[48] Parallelism in C plus plus using Sequential Communicating Processes
Paduraru, Ciprian
Melemciuc, Marius-Constantin
2018 17TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC), 2018, : 157 - 163
[49] MACHINE TONGUES .14. CSP COMMUNICATING SEQUENTIAL PROCESSES
HOLM, F
COMPUTER MUSIC JOURNAL, 1992, 16 (01) : 25 - 33
[50] Timed communicating object Z
Mahony, B
Dong, JS
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (02) : 150 - 177

← 1 2 3 4 5 →