{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:40:44Z","timestamp":1740264044591,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_14","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"228-249","source":"Crossref","is-referenced-by-count":5,"title":["Termination Properties of TCP\u2019s Connection Management Procedures"],"prefix":"10.1007","author":[{"given":"Bing","family":"Han","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Allman, M., Paxson, V., Stevens, W.: TCP Congestion Control. Request for Comments 2581, IETF (April 1999)","DOI":"10.17487\/rfc2581"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-27755-2_6","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Billington","year":"2004","unstructured":"Billington, J., Gallasch, G., Han, B.: A Coloured Petri Net Approach to Protocol Verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 210\u2013290. Springer, Heidelberg (2004)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Braden, R.: Requirements for Internet Host \u2014 Communication Layers. RFC 1122, IETF (October 1989)","DOI":"10.17487\/rfc1122"},{"key":"14_CR4","unstructured":"Cerf, V.G.: Specification of TCP Internet Transmission Control Program, TCP (Version 2), available from DARPA\/IPTO (March 1977)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Cerf, V.G., Dalal, Y.K., Sunshine, C.A.: Specification of Internet Transmission Control Program. INWG Note\u00a072 (December 1974)","DOI":"10.17487\/rfc0675"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Cerf, V.G., Postel, J.B.: Specification of Internet Transmission Control Program, TCP (Version 3), available from USC\/ISI (January 1978)","DOI":"10.21236\/ADA067072"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-45319-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Christensen","year":"2001","unstructured":"Christensen, S., Kristensen, L.M., Mailund, T.: A Sweep-line Method for State Space Exploration. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 450\u2013464. Springer, Heidelberg (2001)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Floyd, S.: HighSpeed TCP for Large Congestion Windows. RFC 3649, IETF (2003)","DOI":"10.17487\/rfc3649"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Floyd, S., Henderson, T.: The NewReno Modification to TCP\u2019s Fast Recovery Algorithm. RFC 2582, IETF (April 1999)","DOI":"10.17487\/rfc2582"},{"key":"14_CR10","unstructured":"Hailpern, B.: Verifying Concurrent Processes Using Temporal Logic. Technical Report 195, Computer Systems Lab, Stanford University, U.S.A (1980)"},{"key":"14_CR11","unstructured":"Han, B.: Formal Specification of the TCP Service and Verification of TCP Connection Management. PhD Thesis, University of South Australia, Australia (December 2004)"},{"key":"14_CR12","unstructured":"Han, B., Billington, J.: An Analysis of TCP Connection Management Using Coloured Petri nets. In: Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando,\u00a0Florida, July 2001, pp. 590\u2013595 (2001)"},{"key":"14_CR13","unstructured":"Han, B., Billington, J.: Validating TCP Connection Management. In: Proceedings of the Workshop on Software Engineering and Formal Methods, Adelaide,\u00a0Australia, June 2002. Conferences in Research and Practice in Information Technology, vol.\u00a012, pp. 47\u201355 (2002)"},{"key":"14_CR14","unstructured":"Han, B., Billington, J.: Experience using Coloured Petri Nets to Model TCP\u2019s Connection Management Procedures. In: Proceedings of the 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN tools, Aarhus, Denmark, October 2004, pp. 57\u201376 (2004)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Braden, R.: TCP Extensions for Long-Delay Paths. RFC 1072, IETF (October 1988)","DOI":"10.17487\/rfc1072"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Braden, R., Borman, D.: TCP Extensions for High Performance. RFC 1323, IETF (May 1992)","DOI":"10.17487\/rfc1323"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Braden, R., Zhang, L.: TCP Extension for High-Speed Paths. RFC 1185, IETF (October 1990)","DOI":"10.17487\/rfc1185"},{"key":"14_CR18","series-title":"Basic Concepts","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol.\u00a01. Springer, Berlin (1997)"},{"key":"14_CR19","unstructured":"Kohler, E., Handley, M., Floyd, S.: Datagram Congestion Control Protocol. Internet Draft draft-ietf-dccp-spec-08.txt, IETF (October 2004)"},{"key":"14_CR20","first-page":"43","volume-title":"Protocol Specification, Testing, and Verification","author":"J.F. Kurose","year":"1982","unstructured":"Kurose, J.F., Yemini, Y.: The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. In: Protocol Specification, Testing, and Verification, pp. 43\u201362. North-Holland Publishing Company, Amsterdam (1982)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Lin, H.P.: Modelling a Transport Layer Protocol using First-order Logic. In: Proc. of the ACM SIGCOMM Conference on Communications Architecture and Protocols, September 1986, pp. 92\u2013100 (1986)","DOI":"10.1145\/18172.18184"},{"key":"14_CR22","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers, Inc., San Francisco (1996)"},{"issue":"3","key":"14_CR23","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/TNET.2003.813038","volume":"11","author":"J. Martin","year":"2003","unstructured":"Martin, J., Nilsson, A., Rhee, I.: Delay Based Congestion Avoidance for TCP. IEEE\/ACM Transactions on Networking\u00a011(3), 356\u2013369 (2003)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Mehrpour, H., Karbowiak, A.E.: Modelling and Analysis of DOD TCP\/IP Protocol Using Numerical Petri Nets. In: Proc. IEEE Region 10 Conf. on Computer Communication Systems, Hong Kong, September 1990, pp. 617\u2013622 (1990)","DOI":"10.1109\/TENCON.1990.152684"},{"key":"14_CR25","unstructured":"Military Standard Transmission Control Protocol. MIL-STD-1778 (August 1983)"},{"key":"14_CR26","unstructured":"Murphy, S.L.: Service Specification and Protocol Construction for a Layered Architecture. PhD Thesis, University of Maryland, USA (May 1990)"},{"issue":"12","key":"14_CR27","doi-asserted-by":"publisher","first-page":"1762","DOI":"10.1109\/26.120163","volume":"39","author":"S.L. Murphy","year":"1991","unstructured":"Murphy, S.L., Shankar, A.U.: Connection Management for the Transport Layer: Service Specification and Protocol Verification. IEEE Transactions on Communications\u00a039(12), 1762\u20131775 (1991)","journal-title":"IEEE Transactions on Communications"},{"key":"14_CR28","first-page":"47","volume-title":"Proc. Specifications of Reliable Software Conference","author":"D.R. Musser","year":"1979","unstructured":"Musser, D.R.: Abstract Data Type Specifications in the Affirm System. In: Proc. Specifications of Reliable Software Conference, pp. 47\u201357. IEEE, Los Alamitos (1979)"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Paxson, V.: Known TCP Implementation Problems. RFC 2525, IETF (March 1999)","DOI":"10.17487\/rfc2525"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission Control Protocol, Version 4 (February 1979)","DOI":"10.21236\/ADA067072"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Postel, J.: DoD Standard Transmission Control Protocol. RFC 761, IETF (January 1980)","DOI":"10.17487\/rfc0761"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission Control Protocol. RFC 793, IETF (September 1981)","DOI":"10.17487\/rfc0793"},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/800081.802654","volume-title":"Proc. of the Seventh Symposium on Data Communications","author":"D. Schwabe","year":"1981","unstructured":"Schwabe, D.: Formal Specification and Verification of a Connection Establishment Protocol. In: Proc. of the Seventh Symposium on Data Communications, pp. 11\u201326. ACM Press, New York (1981)"},{"key":"14_CR34","unstructured":"Schwabe, D.: Formal Techniques for Specification and Verification of Protocols. PhD Thesis, Report CSD 810401, Computer Science Department, University of California at Los Angeles (1981)"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Sidhu, D.P., Blumer, T.P.: Some Problems with the Specification of the Military Standard Transmission Control Protocol. RFC 964, IETF (November 1985)","DOI":"10.17487\/rfc0964"},{"key":"14_CR36","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-0-387-35079-0_8","volume-title":"Formal Description Techniques IX: Theory, Applications and Tools","author":"M.A. Smith","year":"1996","unstructured":"Smith, M.A.: Formal Verification of Communication Protocols. In: Formal Description Techniques IX: Theory, Applications and Tools, pp. 129\u2013144. Chapman & Hall, London (1996)"},{"key":"14_CR37","unstructured":"Smith, M.A.: Formal Verification of TCP and T\/TCP. PhD Thesis, M.I.T., USA (September 1997)"},{"key":"14_CR38","unstructured":"Stallings, W.: Department of Defense (DOD) Protocol Standards, vol.\u00a03. Howard W.\u00a0Sams & Company (1978)"},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"Stewart, R.: etc. Stream Control Transmission Protocol. RFC 2960, IETF (October 2000)","DOI":"10.17487\/rfc2960"},{"issue":"6","key":"14_CR40","first-page":"454","volume":"2","author":"C.A. Sunshine","year":"1978","unstructured":"Sunshine, C.A., Dalal, Y.K.: Connection Management in Transport Protocols. Computer Networks\u00a02(6), 454\u2013473 (1978)","journal-title":"Computer Networks"},{"key":"14_CR41","unstructured":"Symons, F.J.W.: Modelling and Analysis of Communication Protocols Using Numerical Petri Nets. PhD Thesis, University of Essex (May 1978)"},{"key":"14_CR42","doi-asserted-by":"crossref","unstructured":"Tomlinson, R.S.: Selecting Sequence Numbers. In: Proc. of ACM SIGCOM\/SIGOPS Interprocess Communications Workshop, Santa Monica, California, March 1975, pp. 11\u201323 (1975)","DOI":"10.1145\/800272.810894"},{"key":"14_CR43","unstructured":"University of Aarhus. Design\/CPN Online. Web site (2003), http:\/\/www.daimi.au.dk\/designCPN"},{"key":"14_CR44","series-title":"The Implementation","volume-title":"TCP\/IP Illustrated","author":"G.R. Wright","year":"1995","unstructured":"Wright, G.R., Stevens, W.R.: TCP\/IP Illustrated. The Implementation, vol.\u00a02. Addison-Wesley, Reading (1995)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:05:25Z","timestamp":1740261925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/11494744_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}