ALGEBRAS OF DISCRETE EVENT MODELS

被引：20

作者：

INAN, KM

VARAIYA, PP

机构：

来源：

关键词：

D O I：

10.1109/5.21068

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：24 / 38

页数：15

相关论文

共 6 条

[1]

Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[2]

Hopcroft JE., 2001, INTRO AUTOMATA THEOR, V2nd

[3] FINITELY RECURSIVE PROCESS MODELS FOR DISCRETE EVENT SYSTEMS [J].

INAN, K ;

VARAIYA, P .

[4]

KURZHANSKI AB, 1988, LECTURES NOTES CONTR, V106

[5]

Milner R, 1980, CALCULUS COMMUNICATI

[6]

Peterson J L, 1981, PETRI NET THEORY MOD