BISIMULATION OF AUTOMATA

被引：8

作者：

BENSON, DB

BENSHACHAR, O

机构：

来源：

关键词：

D O I：

10.1016/0890-5401(88)90017-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：60 / 83

页数：24

共 26 条

[1] MACHINES IN A CATEGORY - EXPOSITORY INTRODUCTION [J].

ARBIB, MA ;

MANES, EG .

[2]

Benson D. B., 1986, Proceedings of the Symposium on Logic in Computer Science (Cat. No.86CH2321-8), P77

[3]

Benson D. B., 1974, Acta Informatica, V3, P187, DOI 10.1007/BF00264037

[4]

BENSON DB, 1987, CS87169 WASH STAT U

[5]

BENSON DB, 1985, SEMIGROUP FORUM, V31, P129

[6]

BENSON DB, 1989, IN PRESS THEORET COM

[7] PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION [J].

BERGSTRA, JA ;

KLOP, JW .

INFORMATION AND CONTROL, 1984, 60 (1-3) :109-137

[8] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION [J].

BERGSTRA, JA ;

KLOP, JW .

[9]

BERGSTRA JA, 1985, CWI MONOGRAPH SERIES

[10]

CASTELLANI I, 1985, LECT NOTES COMPUT SC, V185, P223