FREE CHOICE SYSTEMS HAVE HOME STATES

被引：27

作者：

BEST, E

VOSS, K

机构：

[1] Gesellschaft fuer Mathematik und, Datenverarbeitung, St. Augustin,, West Ger, Gesellschaft fuer Mathematik und Datenverarbeitung, St. Augustin, West Ger

来源：

ACTA INFORMATICA | 1984年 / 21卷 / 01期

关键词：

FREE CHOICE PETRI NETS - HOME STATES;

D O I：

10.1007/BF00289141

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：89 / 100

页数：12

共 14 条

[1] PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLS [J].

BERTHELOT, G ;

TERRAT, R .

IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (12) :2497-2505

[2]

BEST E, 1983, LECT NOTES COMPUT SC, V159, P141

[3] ADEQUACY PROPERTIES OF PATH PROGRAMS [J].

BEST, E .

THEORETICAL COMPUTER SCIENCE, 1982, 18 (02) :149-171

[4]

BEST E, 1983, FORMAL DESCRIPTION P, V2, P431

[5]

Commoner F., 1971, Journal of Computer and System Sciences, V5, P511, DOI 10.1016/S0022-0000(71)80013-2

[6]

Genrich H. J., 1973, Acta Informatica, V2, P143, DOI 10.1007/BF00264027

[7]

GENRICH HJ, 1983, UNPUB TCS

[8]

GENRICH HJ, 1980, LNCS, V84, P21

[9]

HACK MT, 1972, TR94 MIT

[10] FORMAL VERIFICATION OF PARALLEL PROGRAMS [J].

KELLER, RM .

COMMUNICATIONS OF THE ACM, 1976, 19 (07) :371-384

← 1 2 →