D. Schwabe, Formal specification and verification of a connection establishment protocol, Proceedings of the seventh symposium on Data communications, pp.11-26, 1981.

J. Hooman, Compositional Verification of a Distributed Real, Time Arbitration Protocol, 1994.

V. Rusu, Verifying a Sliding-Window Protocol Using PVS, 21st International Conference on Formal Techniques for Networked and Distributed Systems, pp.251-268, 2001.
DOI : 10.1007/0-306-47003-9_16

V. H. Dang, Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS, Proceedings of the International Conference on Applications of Concurrency to System Design, 1998.

D. Chkliaev, P. Stok, and J. Hooman, Formal modeling and analysis of atomic commitment protocols, Proceedings Seventh International Conference on Parallel and Distributed Systems (Cat. No.PR00568), 2000.
DOI : 10.1109/ICPADS.2000.857694

B. Akbarpour and S. Tahar, Error Analysis of Digital Filters Using Theorem Proving, Theorem Proving in Higher Order Logics, pp.1-16, 2004.
DOI : 10.1007/978-3-540-30142-4_1

C. A. Sunshine and Y. K. Dalal, Connection management in transport protocols, Computer Networks (1976), vol.2, issue.6, 1978.
DOI : 10.1016/0376-5075(78)90053-3