A theary for protocol validation

IEEE Transactions on Computers

Volumn C-31, Issue 8, 1982, Pages 730-738

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Deadlock detection; distributed systems; message passing; protocol analysis; regular expressions; validation algebra; verification

Indexed keywords

COMPUTER NETWORKS;

EID: 0020167560     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.1982.1676079     Document Type: Article

References (13)

1. K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson, “A note on reliable full-duplex transmission over half-duplex links,” Commun. Ass. Comput. Mach., vol. 12, pp. 260–265, May 1969.
2. G. V. Bochmann, “Communication protocols and error recovery procedures,” ACM SIGOPS Oper. Syst. Rev., vol. 9, pp. 45–50, Mar. 1975.
3. G. V. Bochmann, “Finite state description of communication protocols,” Dep. Inform., Univ. of Montreal, Montreal, P.Q., Canada, Pub. 236, pp. 35–37, July 1976.
4. IEEE Trans. Commun., Special Issue on Computer Network Architectures and Protocols, vol. COM-28, Apr. 1980; see G. V. Bochmann and C. A. Sunshine, “Formal methods in communication protocol design,” pp. 624–631; and P. Zafiropulo, C. H. West, H. Rudin, et al., “Towards analyzing and synthesizing protocols,” pp. 651–661; also see [13].
5. G. J. Holzmann, “The analysis of message passing systems,” Bell Lab., Comput. Sci. Tech. Rep., CSTR 93, Mar. 1981.
6. P. M. Merlin, “Specification and validation of protocols,” IEEE Trans. Commun., vol. COM-27, pp. 1661–1680, 1979.
7. R. Milner, “A calculus for communicating systems,” in Lecture Notes in Computer Science, vol. 92, 1980, 170 pp.
8. W. F. Ogden, W. E. Riddle, and W. C. Rounds, “Complexity of expressions allowing concurrency,” in Proc. 5th Annu. ACM Symp. on Principles of Programming Lang., Tucson, AZ, Jan. 1978, pp. 185–194.
9. A. C. Shaw, “Software descriptions with flow expressions,” IEEE Trans. Software Eng., vol. SE-4, pp. 242–254, May 1978.
10. S. Schindler, “Algebraic and model specification techniques,” in Proc. 13th Hawaii Int. Conf. on Syst. Sci., Jan. 1980, pp. 20–34.
11. C. A. Sunshine and Y. K. Dalal, “Connection management in transport protocols,” Comput. Networks, vol. 2, pp. 454–473, Dec. 1978.
12. A. Y. Teng and M. T. Liu, “A formal approach to the design and implementation of network communication protocols,” in Proc. COMPSAC 1978, pp. 722–727.
13. P. Zafiropulo, “Protocol validation by duologue-matrix analysis,” IEEE Trans. Commun., vol. COM-26, pp. 1187–1194, Aug. 1978; also see [4].