Term rewriting systems for modular algebraic specification languages

被引：0

作者：

Nakamura, Masaki ^{[1
]}

Futatsugi, Kokichi ^{[1
]}

机构：

[1] School of Information Science, Japan Advanced Institute of Science and Technology

来源：

Computer Software | 2006年 / 23卷 / 03期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：35 / 50

共 50 条

[31] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
KAPLAN, S
THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
[32] Algebraic specification of reactive systems
Broy, M
THEORETICAL COMPUTER SCIENCE, 2000, 239 (01) : 3 - 40
[33] Modular supervisory control with general indecomposable specification languages
Komenda, J.
van Schuppen, J. H.
Gaudin, B.
Marchand, H.
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 3474 - 3479
[34] TERMINATION IS NOT MODULAR FOR CONFLUENT VARIABLE-PRESERVING TERM REWRITING-SYSTEMS
OHLEBUSCH, E
INFORMATION PROCESSING LETTERS, 1995, 53 (04) : 223 - 228
[35] RELATING INNERMOST, WEAK, UNIFORM AND MODULAR TERMINATION OF TERM REWRITING-SYSTEMS
GRAMLICH, B
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 285 - 296
[36] MODULAR ASPECTS OF PROPERTIES OF TERM REWRITING-SYSTEMS RELATED TO NORMAL FORMS
MIDDELDORP, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 263 - 277
[37] NONDETERMINISTIC ALGEBRAIC SPECIFICATIONS AND NONCONFLUENT TERM REWRITING
HUSSMANN, H
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 237 - 255
[38] MODULAR ALGEBRAIC SPECIFICATION OF SOME BASIC GEOMETRICAL CONSTRUCTIONS
GOGUEN, JA
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 123 - 153
[39] NONDETERMINISTIC ALGEBRAIC SPECIFICATIONS AND NONCONFLUENT TERM REWRITING
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 31 - 40
[40] Supremal sublanguages of general specification languages arising in modular control of discrete-event systems
Komenda, J.
van Schuppen, J. H.
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 2775 - 2780

← 1 2 3 4 5 →