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 条

[41] 2 COMPLETE AXIOM SYSTEMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
INFORMATION AND CONTROL, 1985, 64 (1-3): : 136 - 172
[42] A lattice-theoretic model for an algebra of communicating sequential processes
Tyrrell, Malcolm
Morris, Joseph M.
Butterfield, Andrew
Hughes, Arthur
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 123 - 137
[43] Scalable FIFO Channels for Programming via Communicating Sequential Processes
Koval, Nikita
Alistarh, Dan
Elizarov, Roman
EURO-PAR 2019: PARALLEL PROCESSING, 2019, 11725 : 317 - 333
[44] THE TRANSFORMATION OF COLLECTIONS OF COMMUNICATING SEQUENTIAL PROCESSES THAT REPRESENT PIPELINE CONFIGURATIONS
WILLIAMS, SA
PARALLEL COMPUTING, 1985, 2 (04) : 345 - 351
[45] NTIF: A general symbolic model for communicating sequential processes with data
Garavel, H
Lang, F
FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 276 - 291
[46] 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
[47] MACHINE TONGUES .14. CSP COMMUNICATING SEQUENTIAL PROCESSES
HOLM, F
COMPUTER MUSIC JOURNAL, 1992, 16 (01) : 25 - 33
[48] A MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES FOR MENU-DIALOG SYSTEMS
ENIKEEV, AI
KHOOR, KAR
TERYUEL, A
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1987, (03): : 28 - 36
[49] VERIFICATION SYSTEM FOR PARTIAL CORRECTNESS OF COMMUNICATING SEQUENTIAL PROCESSES.
Murakami, Masaki
Inagaki, Yasuyoshi
Systems and Computers in Japan, 1986, 17 (11) : 11 - 20
[50] PERFORMANCE EVALUATION OF COMMUNICATING SEQUENTIAL PROCESSES (CSP) USING PETRI NETS
MAGOTT, J
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1992, 139 (03): : 237 - 241

← 1 2 3 4 5 →