A PROOF OF THE KAHN PRINCIPLE FOR INPUT OUTPUT AUTOMATA

被引：43

作者：

LYNCH, NA ^{[1
]}

STARK, EW ^{[1
]}

机构：

[1] SUNY STONY BROOK,DEPT COMP SCI,STONY BROOK,NY 11794

来源：

INFORMATION AND COMPUTATION | 1989年 / 82卷 / 01期

关键词：

D O I：

10.1016/0890-5401(89)90066-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：81 / 92

页数：12

相关论文

共 10 条

[1] BROCK JD, 1981, LECT NOTES COMPUT SC, V107, P252
[2] CADIOU JM, 1972, THESIS STANDFORD U
[3] FAUSTINI AA, 1982, LECT NOTES COMPUT SC, V140, P212
[4] GAIFMAN H, 1987, S LOGIC COMPUTER SCI, P72
[5] KAHN G, 1974, INFORMATION PROCESSI
[6] KOK JN, 1987, LECT NOTES COMPUT SC, V259, P351
[7] LYNCH NA, 1987, MITLCSTR387 TECHN RE
[8] PANANGADEN P, 1988, LECT NOTES COMPUT SC, V317, P439
[9] RABINOVICH A, 1987, EATCS B, P107
[10] STARK EW, 1987, 14TH ACM S PRINC PRO, P199