How stop and wait protocols can fail over the Internet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2767, Issue , 2003, Pages 209-223

  Billington, Jonathan ^a   Gallasch, Guy Edward ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Coloured Petri Nets; Protocol Analysis and Verification; State space methods; Stop and Wait Protocols; TCP

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; INTERNET; INTERNET PROTOCOLS; PETRI NETS; STATE SPACE METHODS;

AUTOMATIC TECHNIQUE; COLOURED PETRI NETS; DISTRIBUTED SYSTEMS; PROTOCOL ANALYSIS; RETRANSMISSION STRATEGIES; SENDER AND RECEIVERS; STOP-AND-WAIT PROTOCOLS; TCP;

TRANSMISSION CONTROL PROTOCOL;

EID: 33646186758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39979-7_14     Document Type: Article

References (35)

1. CCITT Recommendation Z.100 (2002). Functional Specification and Description Language (SDL).
2. FSM Library, AT&T Research Labs. http://www.research.att.com/sw/tools/fsm/.
3. Internet Engineering Task Force. http://www.ietf.org.
4. P. Aziz Abdulla and B. Jonsson. Verifying Programs with Unreliable Channels. Information and Computation, 127(2):91-101, June 1996.
5. Y. Afek and G.M. Brown. Self-Stabilization of the Alternating Bit Protocol. In Proceedings of the 8th Symposium on Reliable Distributed Systems, pages 80-83. IEEE Comput. Soc. Press, 1989.
6. W.A. Barrett and J.D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979.
7. J. Billington. Formal specification of protocols: Protocol Engineering. In Encyclopedia of Microcomputers, volume 7, pages pages 299-314. Marcel Dekker, New York, 1991.
8. J. Billington and G. E. Gallasch. An Investigation of the Properties of Stop-and-Wait Protocols over Channels which can Re-order messages. Technical Report 15, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Australia., 2003.
9. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Comput. Networks and ISDN Sys., 14(1):pages 25-59, 1987.
10. S. Budkowski and P. Dembinski. An Introduction to Estelle: A Specification Language for Distributed Systems. Comput. Networks and ISDN Sys., 14(1):pages 3-23, 1987.
11. C. A. Vissers and L. Logrippo. The Importance of the Service Concept in the Design of Data Communications Protocols. In Protocol Specification, Testing and Verification, V, pages pages 3-17. North Holland, Amsterdam, 1986.
12. CCITT. ISDN user-network interface data link layer specification. Technical report, Draft Recommendation Q.921, Working Party XI/6, Issue 7, Jan. 1984.
13. E.M. Clarke and J. M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4):626-643, December 1996.
14. CPN ML: An Extension of Standard ML. http://www.daimi.au.dk/designCPN/sml/cpnml.html.
15. M. Diaz. Modelling and Analysis of Communication and Co-operation Protocols Using Petri Net Based Models. In Protocol Specification, Testing and Verification. North-Holland, 1982.
16. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International Editions, 1991.
17. ITU-T. Recommendation X.210, Information Technology - Open Systems Interconnection - Basic Reference Model: Conventions for the Definition of OSI Services. Nov. 1993.
18. J. Billington, G.R. Wheeler and M.C. Wilbur-Ham. PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols. In IEEE Transactions on Software Engineering, volume 14, pages 301-316. IEEE Press, 1988.
19. J. Billington, M. Diaz and G. Rozenberg (Eds.). Application of Petri Nets to Communication Networks, volume 1605 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
20. J. Billington, M.C. Wilbur-Ham and M.Y. Bearman. Automated Protocol Verification. In Protocol Specification, Testing and Verification, V, pages 59-70. North Holland, Amsterdam, 1986.
21. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer-Verlag, 1992.
22. K.A. Bartlett, R.A. Scantlebury and P.T. Wilkinson. A Note on Reliable Full-Duplex Transmission over Half-Duplex Links. Communications of the ACM, 12(5):260-261, May 1969.
23. L.M. Kristensen, S. Christensen and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98-132, 1998.
24. Standard ML of New Jersey. http://cm.bell-labs.com/cm/cs/what/smlnj/.
25. Design/CPN Online. http://www.daimi.au.dk/designCPN/.
26. W. Reisig. Elements of Distributed Algorithms: Modelling and Analysis with Petri Nets, Volume 4. Springer-Verlag, 1998.
27. W. Stallings. Data and Computer Communications. Prentice Hall, 6th edition, 2000.
28. L.J. Steggles and P. Kosiuczenko. A Timed Rewriting Logic Semantics for SDL: a case study of the Alternating Bit Protocol. Electronic Notes in Theoretical Computer Science, 15, 1998.
29. I. Suzuki. Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. IEEE Transactions on Software Engineering, 16(11):1273-1281, 1990.
30. I. Suzuki. Specification and Verification of the Alternating Bit Protocol by Temporal Petri Nets. In Proceedings of the 32nd Midwest Symposium on Circuits and Systems. IEEE Press, 1990.
31. A. Tanenbaum. Computer Networks. Prentice Hall, 4th edition, 2003.
32. The Internet Engineering Task Force. Transmission Control Protocol. RFC 793, 1981.
33. The Internet Engineering Task Force. TCP Extensions for High Performance. RFC 1323, 1992.
34. K. J. Turner (Ed.). Using Formal Description Techniques: An Introduction to Estelle, Lotos and SDL. John Wiley & Sons, 1993.
35. J. M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September 1990.