Asynchronous automata-theoretic characterization of aperiodic trace languages

被引：0

|

作者：

Adsul, Bharat ^{[1
]}

Sohoni, Milind ^{[2
]}

机构：

[1] Chennai Mathematical Institute, 92 G. N. Chetty Road, Chennai 600 017, India

[2] Department of Computer Sc. and Engg., Indian Institute of Technology, Mumbai 400 076, India

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3328卷

关键词：

D O I：

10.1007/978-3-540-30538-5_8

中图分类号：

学科分类号：

摘要：

13

引用

收藏

页码：84 / 96

相关论文

共 50 条

[21] Relating automata-theoretic hierarchies to complexity-theoretic hierarchies
Selivanov, VL
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2002, 36 (01): : 29 - 42
[22] AUTOMATA-THEORETIC TECHNIQUES FOR IMAGE GENERATION AND COMPRESSION
CULIK, K
DUBE, S
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 76 - 90
[23] VERIFICATION OF CONCURRENT PROGRAMS - THE AUTOMATA-THEORETIC FRAMEWORK
VARDI, MY
ANNALS OF PURE AND APPLIED LOGIC, 1991, 51 (1-2) : 79 - 98
[24] ASYNCHRONOUS AUTOMATA AND ASYNCHRONOUS LANGUAGES
DESCHAMPS, JP
INFORMATION AND CONTROL, 1974, 24 (02): : 122 - 143
[25] An automata-theoretic approach to modular model checking
Kupferman, O
Vardi, MY
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (01): : 87 - 128
[26] AUTOMATA-THEORETIC TECHNIQUES FOR MODAL-LOGICS
VARDI, MY
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 858 - 858
[27] Automata-theoretic decision procedures for information logics
Demri, S
Sattler, U
FUNDAMENTA INFORMATICAE, 2002, 53 (01) : 1 - 22
[28] ON APERIODIC TRACE LANGUAGES
GUAIANA, G
RESTIVO, A
SALEMI, S
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 76 - 88
[29] Verification by augmented abstraction: The automata-theoretic view
Kesten, Y
Pnueli, A
Vardi, MY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 62 (04) : 668 - 690
[30] An automata-theoretic algorithm for counting solutions to Presburger formulas
Parker, E
Chatterjee, S
COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 104 - 119

← 1 2 3 4 5 →