SYNTHESIS OF CONCURRENT SYSTEMS WITH MANY SIMILAR SEQUENTIAL PROCESSES

被引：0

|

作者：

ATTIE, PC

EMERSON, EA

机构：

来源：

CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 1989年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：191 / 201

页数：11

相关论文

共 50 条

[1] Synthesis of concurrent systems with many similar processes
Attie, PC
Emerson, EA
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (01): : 51 - 115
[2] Synthesis of concurrent systems with many similar processes
Florida Int Univ, Miami, United States
ACM Trans Program Lang Syst, 1 (51-115):
[3] THE MODEL CHECKING PROBLEM FOR CONCURRENT SYSTEMS WITH MANY SIMILAR PROCESSES
CLARKE, EM
GRUMBERG, O
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 188 - 201
[4] THE MODEL CHECKING PROBLEM FOR CONCURRENT SYSTEMS WITH MANY SIMILAR PROCESSES
CLARKE, EM
GRUMBERG, O
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 188 - 201
[5] Transforming sequential processes of net systems into concurrent ones
Hoang Chi Thanh
INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2007, 11 (06) : 391 - 397
[6] TRANSFORMING SEQUENTIAL SYSTEMS INTO CONCURRENT SYSTEMS
JANICKI, R
THEORETICAL COMPUTER SCIENCE, 1985, 36 (01) : 27 - 58
[7] Clustering Similar Actions in Sequential Decision Processes
Chiu, Po-Hsiang
Huber, Manfred
EIGHTH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, 2009, : 776 - 781
[8] Determining the value of sequential and concurrent NPD processes
Kong, Linghua
Bhuiyan, Nadia
Thomson, Vincent
CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2008, 16 (03): : 201 - 211
[9] Investigating sensor networks with concurrent sequential processes and smalltalk
Amariei, Cornelia
Teodorov, Ciprian
INSS 07: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON NETWORKED SENSING SYSTEMS, 2007, : 307 - 307
[10] SIMPLE TESTS DISTINGUISHING SEQUENTIAL AND CONCURRENT PROCESSES IN TASK NETWORKS
SCHWEICKERT, R
TOWNSEND, JT
FISHER, DL
BULLETIN OF THE PSYCHONOMIC SOCIETY, 1987, 25 (05) : 350 - 350

← 1 2 3 4 5 →