A COMPLETE INFERENCE SYSTEM FOR A CLASS OF REGULAR BEHAVIORS

被引：180

作者：

MILNER, R

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(84)90023-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：439 / 466

页数：28

共 10 条

[1]

COURCELLE B, 1981, 8105 UER MATH INF RE

[2]

DEBAKKER JW, 1982, 14TH P ASS COMP MACH, P153

[3]

ELGOT CC, 1973, LOGIC C, P175

[4]

HENNESSY MCB, 1980, LECTURE NOTES COMPUT, V85, P299, DOI DOI 10.1007/3-540-10003-2

[5]

HOARE C, 1981, THEORY COMMUNICATING

[6]

JENSEN K, 1980, PB108

[7]

MILNER R, 1980, LECTURE NOTES COMPUT, V92

[8]

PARK D, 1981, CONCURRENCY AUTOMATA

[9] 2 COMPLETE AXIOM SYSTEMS FOR ALGEBRA OF REGULAR EVENTS [J].

SALOMAA, A .

[10]

Salomaa A., 1981, JEWELS FORMAL LANGUA