ON THE ANALYSIS OF COOPERATION AND ANTAGONISM IN NETWORKS OF COMMUNICATING PROCESSES.

被引：0

|

作者：

Kanellakis, Paris C. ^{[1
]}

Smolka, Scott A. ^{[1
]}

机构：

[1] Brown Univ, Providence, RI, USA, Brown Univ, Providence, RI, USA

来源：

Algorithmica (New York) | 1988年 / 3卷 / 03期

关键词：

COMPUTATIONAL COMPLEXITY - CONCURRENT PROGRAMMING - FINITE STATE PROCESS - NP-COMPLETE - PSPACE-COMPLETE;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：421 / 450

相关论文

共 50 条

[1] ON THE ANALYSIS OF COOPERATION AND ANTAGONISM IN NETWORKS OF COMMUNICATING PROCESSES
KANELLAKIS, PC
SMOLKA, SA
ALGORITHMICA, 1988, 3 (03) : 421 - 450
[2] DATA FLOW ANALYSIS OF COMMUNICATING PROCESSES.
Reif, John H.
1979, : 257 - 226
[3] COMMUNICATING PARALLEL PROCESSES.
Kerridge, Jon
Simpson, Dan
Software - Practice and Experience, 1986, 16 (01) : 63 - 86
[4] RECENT RESULTS IN THE STATIC ANALYSIS OF COMMUNICATING FINITE STATE PROCESSES.
Smolka, Scott A.
Kanellakis, Paris C.
1987, : 208 - 233
[5] DEADLOCK ANALYSIS IN NETWORKS OF COMMUNICATING PROCESSES
BROOKES, SD
ROSCOE, AW
DISTRIBUTED COMPUTING, 1991, 4 (04) : 209 - 230
[6] Communicating emotion: Social, moral, and cultural processes.
Fitness, J
JOURNAL OF SOCIAL AND PERSONAL RELATIONSHIPS, 2000, 17 (06) : 857 - 858
[7] VERIFICATION SYSTEM FOR PARTIAL CORRECTNESS OF COMMUNICATING SEQUENTIAL PROCESSES.
Murakami, Masaki
Inagaki, Yasuyoshi
Systems and Computers in Japan, 1986, 17 (11) : 11 - 20
[8] Sets of communicating sequential processes. A topological rough set framework
Polkowski, L
Semeniuk-Polkowska, M
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2004, 3213 : 779 - 785
[9] The children as actors in the migratory processes. Implications for the projects of cooperation
Gedime, uab
PAPERS-REVISTA DE SOCIOLOGIA, 2009, 92 : 273 - 276
[10] METHOD OF SPECIFICATION AND ANALYSIS OF PROCESSES.
Karpov, Yu.G.
Automatic Control and Computer Sciences, 1986, 20 (03) : 1 - 9

← 1 2 3 4 5 →