SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS

[1] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (05) : 260 - +

[2] BERTHOMIEU B, 1981, USC RR8198 INF SCI I

[3] BERTHOMIEU B, 1980, USC36 INF SCI I PROG

[4] BERZINS VA, 1979, MITLCSTR221 TECH REP

[5] BOCHMANN G, 1977, AUG P IFIP C, P229

[6] BRAND D, 1978, COMPUT NETWORKS SEP, V2

[7] CRISTIAN F, 1982, UNPUB ACTA INFORMATI

[8] FLON L, 1979, APR P C SPEC REL SOF, P162

[9] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[10] GERHART SL, 1980, OCT P IFIP C, P343

[1] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (05) : 260 - +

[2] BERTHOMIEU B, 1981, USC RR8198 INF SCI I

[3] BERTHOMIEU B, 1980, USC36 INF SCI I PROG

[4] BERZINS VA, 1979, MITLCSTR221 TECH REP

[5] BOCHMANN G, 1977, AUG P IFIP C, P229

[6] BRAND D, 1978, COMPUT NETWORKS SEP, V2

[7] CRISTIAN F, 1982, UNPUB ACTA INFORMATI

[8] FLON L, 1979, APR P C SPEC REL SOF, P162

[9] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[10] GERHART SL, 1980, OCT P IFIP C, P343