ON COMMUNICATING FINITE-STATE MACHINES

被引：611

作者：

BRAND, D ^{[1
]}

ZAFIROPULO, P ^{[1
]}

机构：

[1] IBM CORP,ZURICH RES LAB,CH-8803 RUSCHLIKON,SWITZERLAND

来源：

关键词：

D O I：

10.1145/322374.322380

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：323 / 342

页数：20

共 30 条

BARTLETT, KA ;

SCANTLEBURY, RA ;

WILKINSON, PT ;

LYNCH, WC .

[2]

BOCHMANN GV, 1977, P IFIP C, P229

[3]

BOCHMANN GV, 1975, ACM OPERATING SYSTEM, V9, P45

[4]

BOCHMANN GV, 1978, FEB P COMP NETW PROT

[5]

BOCHMANN GV, 1980, OCT P INT C COMP COM, P371

[6] VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION [J].

BRAND, D ;

JOYNER, WH .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :351-360

[7]

BRAND D, 1981, RZ1053 IBM ZUR RES L

[8]

BRAND D, 1980, 1980 P TRENSDS APPL, P29

[9]

DANTHINE A, 1978, P COMPUTER NETWORK P

[10]

DANTHINE A, 1978, COMPUT NETWORKS, V2