A FORMAL SPECIFICATION TECHNIQUE AND IMPLEMENTATION METHOD FOR PROTOCOLS

被引：19

作者：

BLUMER, TP

TENNEY, RL

机构：

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1982年 / 6卷 / 03期

关键词：

D O I：

10.1016/0376-5075(82)90098-8

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：201 / 217

页数：17

共 26 条

[1]

BLUMER T, UNPUB OPERATION MAIN

[2]

Bochmann G. V., 1975, Proceedings of the ACM SIGCOMM/SIGOPS INTERPROCESS Interprocess Communications Workshop, P45, DOI 10.1145/800272.810898

[3]

BOCHMANN GV, 1977, DEC P NAT TEL C LOS

[4]

BURRUSS J, UNPUB USERS GUIDE PR

[5] PROTOCOL REPRESENTATION WITH FINITE-STATE MODELS [J].

DANTHINE, AAS .

[6]

*IBM, 1978, SYST NETW ARCH FORM

[7]

*INT STAND ORG, 1981, DAT PROC OP SYST INT, V5, P81

[8]

Jensen K., 1978, PASCAL USER MANUAL R

[9]

JOHNSON SC, 1975, 32 BELL LAB COMP SCI

[10]

Kernighan B. W, 1978, C PROGRAMMING LANGUA