Formal specification and verification of a connection establishment protocol, Proceedings of the seventh symposium on Data communications, pp.11-26, 1981. ,
Compositional Verification of a Distributed Real, Time Arbitration Protocol, 1994. ,
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
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. ,
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
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
Connection management in transport protocols, Computer Networks (1976), vol.2, issue.6, 1978. ,
DOI : 10.1016/0376-5075(78)90053-3