A Unified Method for the Specification and Verification of Protocols
暂无分享,去创建一个
[1] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[2] B. H. Liskov,et al. Specification techniques for data abstractions , 1975, IEEE Transactions on Software Engineering.
[3] André A. S. Danthine,et al. An Axiomatic Description of the Transport Protocol of Cyclades , 1976, Rechnernetze und Datenfernverarbeitung.
[4] P. Merlin,et al. A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..
[5] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[6] Gregor von Bochmann. Logical verification and implementation of protocols , 1975 .
[7] Gregor V. Bochmann. Communication protocols and error recovery procedures , 1975 .
[8] William R. Crowther,et al. The Data Transfer Protocol , 1971, RFC.
[9] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.