学术探索
学术期刊
新闻热点
数据分析
智能评审

MODELING AND VERIFICATION OF END-TO-END TRANSPORT PROTOCOLS

被引：9
作者：
DANTHINE, A
BREMER, J
机构：
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1978年 / 2卷 / 4-5期
关键词：
D O I：
10.1016/0376-5075(78)90017-X
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：381 / 395
页数：15
相关论文
共 25 条
[1]   INTERPROCESS COMMUNICATION FACILITIES FOR NETWORK OPERATING SYSTEMS [J].
AKKOYUNLU, E ;
BERNSTEIN, A ;
SCHANTZ, R .
COMPUTER, 1974, 7 (06) :46-55
[2]  
BJORNER D, 1970, AFIPS P, V37, P477
[3]  
BOCHMANN GV, 1975, 4TH P DAT COMM S QUE
[4]   PROTOCOL FOR PACKET NETWORK INTERCOMMUNICATION [J].
CERF, VG ;
KAHN, RE .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1974, CO22 (05) :637-648
[5]  
DANTHINE A, 1975, SEP IFIP IIASA WORKS, P9
[6]  
Danthine A. A. S., 1976, Rechnernetze und Datenfernverarbeitung. (Computer Networks and Remote Data Processing), P259
[7]  
DANTHINE AAS, 1975, J AIM MINIORDINA JAN, P115
[8]  
DANTHINE AAS, 1975, MAR P ASS COMP MACH, P87
[9]  
LEMOLI G, 1973, 1ST EUR WORKSH COMP, P153
[10]  
LEMOLI G, 1973, ALTA FREQUENZA OCT, P493
123