AT-MOST-ONCE MESSAGE DELIVERY - A CASE-STUDY IN ALGORITHM VERIFICATION

被引：0

|

作者：

LAMPSON, B

LYNCH, N

SOGAARDANDERSEN, J

机构：

[1] MIT, CAMBRIDGE, MA 02139 USA

[2] TECH UNIV DENMARK, DEPT COMP SCI, DK-2800 LYNGBY, DENMARK

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 630卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：317 / 324

页数：8

相关论文

共 50 条

[1] CORRECTNESS OF AT-MOST-ONCE MESSAGE DELIVERY PROTOCOLS
LAMPSON, BW
LYNCH, NA
SOGAARDANDERSEN, JF
FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 385 - 400
[2] Using adaptive timeouts to achieve at-most-once message delivery
Chaudhuri, S
Coan, BA
Welch, JL
DISTRIBUTED COMPUTING, 1995, 9 (03) : 109 - 117
[3] USING ADAPTIVE TIMEOUTS TO ACHIEVE AT-MOST-ONCE MESSAGE DELIVERY
CHAUDHURI, S
COAN, BA
WELCH, JL
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 579 : 150 - 166
[4] CASE-STUDY IN PROTOCOL VERIFICATION
CARCHIOLO, V
DISTEFANO, A
FARO, A
PAPPALARDO, G
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1990, 5 (03): : 178 - 186
[5] USAF MESSAGE PROCESSING - A CASE-STUDY
FOSS, CH
IEEE COMMUNICATIONS MAGAZINE, 1986, 24 (09) : 12 - 17
[6] VERIFYING A LOGIC-SYNTHESIS ALGORITHM AND IMPLEMENTATION - A CASE-STUDY IN SOFTWARE-VERIFICATION
AAGAARD, M
LEESER, M
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 822 - 833
[7] A CASE-STUDY IN APPLIED ALGORITHM DESIGN
BENTLEY, JL
COMPUTER, 1984, 17 (02) : 75 - 88
[8] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
LAI, R
SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
[9] A CASE-STUDY - SERVICE DELIVERY AND PARENTS WITH DISABILITIES
POMERANTZ, P
POMERANTZ, DJ
COLCA, LA
CHILD WELFARE, 1990, 69 (01) : 65 - 73
[10] DELIVERY ON THE HANDS AND KNEES - A CASE-STUDY APPROACH
GANNON, JM
JOURNAL OF NURSE-MIDWIFERY, 1992, 37 (01): : 48 - 52

← 1 2 3 4 5 →