A TERM MODEL FOR SYNCHRONOUS PROCESSES

被引：36

作者：

HENNESSY, M

机构：

来源：

INFORMATION AND CONTROL | 1981年 / 51卷 / 01期

关键词：

D O I：

10.1016/S0019-9958(81)90082-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：58 / 75

页数：18

共 10 条

[1] COURCELLE B, 1976, IRIA189 RECH RAPP
[2] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
GOGUEN, JA
THATCHER, JW
WAGNER, EG
WRIGHT, JB
[J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
[3] HENNESSY M, 1980, LECTURE NOTES COMPUT, V85
[4] HENNESSY M, 1980, LECTURE NOTES COMPUT, V88
[5] Milner R., 1977, Theoretical Computer Science, V4, P1, DOI 10.1016/0304-3975(77)90053-6
[6] MILNER R, 1982, CSR10482 U ED
[7] MILNER R, 1980, CSR7580 U ED
[8] MILNER R, 1980, LECTURE NOTES COMPUT, V92
[9] NIVAT M, 1975, S MATH, V15
[10] SCOTT D, 1971, MICROWAVE I S SERIES, V21