A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES

被引：2

作者：

JACOB, J

机构：

[1] Oxford University Computing Laboratory, Programming Research Group, Oxford, OX1 3QD

来源：

INFORMATION PROCESSING LETTERS | 1990年 / 35卷 / 01期

关键词：

Distributed systems; formal semantics; operating systems; program specification; software engineering;

D O I：

10.1016/0020-0190(90)90168-W

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：19 / 22

页数：4

共 50 条

[21] THE COMPLEXITY OF PROBLEMS IN SYSTEMS OF COMMUNICATING SEQUENTIAL PROCESSES
LADNER, RE
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 21 (02) : 179 - 194
[22] Communicating sequential processes for distributed constraint satisfaction
Sakellariou, I
Vlahavas, I
Futo, I
Pasztor, Z
Szeredi, J
INFORMATION SCIENCES, 2006, 176 (05) : 490 - 521
[23] RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSES
GUERREIRO, P
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 310 - 326
[24] 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
[25] A singleton failures semantics for Communicating Sequential Processes
Bolton, Christie
Davies, Jim
FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) : 181 - 210
[26] A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES - COMMENT
MOITRA, A
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (03): : 500 - 501
[27] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
CIESLAK, RA
VARAIYA, PP
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (09) : 1032 - 1039
[28] 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
[29] PyCSP - Communicating Sequential Processes for Python']Python
Bjorndalen, John Markus
Vinter, Brian
Anshus, Otto
WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, 2007, 65 : 229 - +
[30] A COMPLETE SET OF AXIOMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 115 - 126

← 1 2 3 4 5 →