SYNCHRONOUS AND ASYNCHRONOUS EXPERIMENTS ON PROCESSES

被引：22

作者：

HENNESSY, M

机构：

来源：

INFORMATION AND CONTROL | 1983年 / 59卷 / 1-3期

关键词：

D O I：

10.1016/S0019-9958(83)80029-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：36 / 83

页数：48

共 24 条

[1]

AUSTRY D, THEORET COMPUT SCI, V30, P91

[2]

COURCELLE E, 1976, 17TH P IEEE F COMP S

[3]

Darondeau Ph., 1982, LECT NOTES COMPUTER, V137, P47

[4]

DENICOLA R, UNPUB THEORET COMPUT

[5]

DENICOLA R, 1982, LECTURE NOTES COMPUT, V154, P548

[6] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J].

FRANCEZ, N ;

HOARE, CAR ;

LEHMANN, DJ ;

DEROEVER, WP .

[7] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].

GOGUEN, JA ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

[8]

Gordon M., 1979, DENOTATIONAL DESCRIP

[9]

GUESSARIAN I, 1981, LECTURE NOTES COMPUT, V99

[10] A TERM MODEL FOR SYNCHRONOUS PROCESSES [J].

HENNESSY, M .

INFORMATION AND CONTROL, 1981, 51 (01) :58-75