Synthesis of concurrent systems with many similar processes

被引：0

|

作者：

Florida Int Univ, Miami, United States ^{[1
]}

机构：

来源：

ACM Trans Program Lang Syst | / 1卷 / 51-115期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 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 SEQUENTIAL PROCESSES
ATTIE, PC
EMERSON, EA
CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 191 - 201
[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] REASONING ABOUT SYSTEMS WITH MANY PROCESSES
GERMAN, SM
SISTLA, AP
JOURNAL OF THE ACM, 1992, 39 (03) : 675 - 735
[6] PRIORITY SYSTEMS WITH MANY IDENTICAL PROCESSES
YEN, HC
ACTA INFORMATICA, 1991, 28 (07) : 681 - 692
[7] SYNTHESIS AND EQUIVALENCE OF CONCURRENT SYSTEMS
LISPER, B
THEORETICAL COMPUTER SCIENCE, 1988, 58 (1-3) : 183 - 199
[8] SYNTHESIS AND EQUIVALENCE OF CONCURRENT SYSTEMS
LISPER, B
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 226 - 235
[9] Projection: A synthesis technique for concurrent systems
Manohar, R
Lee, TK
Martin, AJ
FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS, 1999, : 125 - 134
[10] Synthesis of Synchronized Concurrent Systems Specified by Information Systems
Suraj, Zbigniew
Pancerz, Krzysztof
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, 2011, 6954 : 626 - 635

← 1 2 3 4 5 →