FINITELY RECURSIVE PROCESS MODELS FOR DISCRETE EVENT SYSTEMS

被引：35

作者：

INAN, K

VARAIYA, P

机构：

来源：

关键词：

D O I：

10.1109/9.1271

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：626 / 639

页数：14

共 19 条

[1]

ANDERSON DP, 1984, 4TH P IFIP S PROT SP, P309

[2]

ANDERSON DP, 1985, 612 U WISC MAD COMP

BLUMER, TP ;

TENNEY, RL .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (03) :201-217

[4] FINITE STATE DESCRIPTION OF COMMUNICATION PROTOCOLS [J].

BOCHMANN, GV .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :361-372

[5]

CHO H, 1987, SUPREMAL LANGUAGES C

[6]

CIESLAK R, IN PRESS IEEE T AUTO

COHEN, G ;

DUBOIS, D ;

QUADRAT, JP ;

VIOT, M .

[8]

DERANSART P, 1986, INRIA485 RAPP RECH

[9]

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

[10]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR