{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T09:30:25Z","timestamp":1747906225499},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584490"},{"type":"electronic","value":"9783540487999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0020433","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:21:02Z","timestamp":1131862862000},"page":"179-193","source":"Crossref","is-referenced-by-count":5,"title":["The level of handshake required for establishing a connection"],"prefix":"10.1007","author":[{"given":"Hagit","family":"Attiya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinat","family":"Rappoport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"14_CR1","volume-title":"Technical Report LPCR #9316","author":"H. Attiya","year":"1993","unstructured":"H. Attiya, S. Dolev and J. L. Welch, \u201cMemory Requirements for Connection Management,\u201d Technical Report LPCR #9316, Laboratory for Parallel Computing Research, Department of Computer Science, The Technion, Haifa, June 1993."},{"key":"14_CR2","volume-title":"Technical Report #828","author":"H. Attiya","year":"1994","unstructured":"H. Attiya and R. Rappoport, \u201cThe Level of Handshake Required to Establish a Connection,\u201d Technical Report #828, Department of Computer Science, The Technion, Haifa, July 1994."},{"issue":"No.2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/TCOM.1976.1093283","volume":"T-COM-24","author":"D. Belsnes","year":"1976","unstructured":"D. Belsnes, \u201cSingle-Message Communication,\u201d IEEE Transactions on Communication, Vol. T-COM-24, No. 2, pp. 190\u2013194, February 1976.","journal-title":"IEEE Transactions on Communication"},{"key":"14_CR4","unstructured":"E. W. Biersack and D. Feldmeier, \u201cA Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification,\u201d to appear in Computer Networks and ISDN systems."},{"key":"14_CR5","volume-title":"Internetworking with TCP\/IP, Volume I: Principles, Protocols and Architecture","author":"D. Comer","year":"1991","unstructured":"D. Comer, Internetworking with TCP\/IP, Volume I: Principles, Protocols and Architecture, Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0376-5075(78)90006-5","volume":"2","author":"J. G. Fletcher","year":"1978","unstructured":"J. G. Fletcher and R. W. Watson, \u201cMechanisms for a Reliable Timer-Based Protocol,\u201d Computer Networks, Vol. 2, pp. 271\u2013290, 1978.","journal-title":"Computer Networks"},{"key":"14_CR7","volume-title":"Protocol Specification, Testing and Verification II","author":"J. F. Kurose","year":"1982","unstructured":"J. F. Kurose and Y. Yemini, \u201cThe Specification and Verification of a Connection Establishment Protocol using Temporal Logic,\u201d in Protocol Specification, Testing and Verification II (C. A. Sunshine, Ed), North-Holland, New-York, 1982."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/0376-5075(78)90039-9","volume":"2","author":"G. LeLann","year":"1978","unstructured":"G. LeLann and H. LeGoff, \u201cVerification and Evaluation of Communication Protocols,\u201d Computer Networks, Vol. 2, pp. 50\u201369, 1978.","journal-title":"Computer Networks"},{"issue":"No.4","key":"14_CR9","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TSE.1984.5010246","volume":"10","author":"S. S. Lam","year":"1984","unstructured":"S. S. Lam and A. U. Shankar, \u201cProtocol Verification via Projections,\u201d IEEE Trans. on Software Engineering, Vol. 10, No. 4, pp. 325\u2013342, July 1984.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"14_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/103720.103722","volume":"9","author":"Barbara Liskov","year":"1991","unstructured":"B. Liskov, L. Shrira and J. Wroclawski, \u201cEfficient At-Most-Once Messages Based on Synchronized Clocks,\u201d ACM Trans. on Computers, Vol. 9, No. 2, pp. 125\u2013142.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"No.3","key":"14_CR11","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"N. Lynch and M. Tuttle, \u201cAn Introduction to Input\/Output Automata,\u201d CWI Quarterly, Vol. 2, No. 3, pp. 219\u2013246, September 1989.","journal-title":"CWI Quarterly"},{"issue":"No.12","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1762","DOI":"10.1109\/26.120163","volume":"39","author":"S. L. Murphy","year":"1991","unstructured":"S. L. Murphy and A. U. Shankar, \u201cConnection Management for the Transport Layer: Service Specification and Protocol Verification,\u201d IEEE Trans. on Communications, Vol. 39, No. 12, pp. 1762\u20131775, December 1991.","journal-title":"IEEE Trans. on Communications"},{"key":"14_CR13","unstructured":"S. L. Murphy, \u201cService Specification and Protocol Construction for a Layered Architecture,\u201d Ph.D. dissertation, Department of Computer Science, University of Maryland, May 1990. Also Computer Science Dept., University of Maryland, Tech. Rep. CS-TR-2583 (or UMIACS-TR-91-3), January 1991."},{"key":"14_CR14","first-page":"167","volume":"No. 312","author":"A. A. Schoone","year":"1987","unstructured":"A. A. Schoone, \u201cVerification of Connection-Management Protocols,\u201d in the 2nd Workshop on Distributed Algorithms, LNCS No. 312, pp. 167\u2013186, September 1987.","journal-title":"LNCS"},{"issue":"12","key":"14_CR15","doi-asserted-by":"crossref","first-page":"1687","DOI":"10.1109\/5.119547","volume":"79","author":"A.U. Shankar","year":"1991","unstructured":"A. U. Shankar, \u201cModular Design Principals for Protocols with an Application to the Transport Layer,\u201d Proceedings of the IEEE, Vol. 79, No. 12, December 1991.","journal-title":"Proceedings of the IEEE"},{"key":"14_CR16","unstructured":"A. U. Shankar and D. Lee, \u201cModulo-N Incarnation Numbers for Cache-based Transport Protocols,\u201d Computer Science Dept., University of Maryland, Tech. Rep. CS-TR-3046 (or UMIACS-TR-93-24), March 1993."},{"key":"14_CR17","unstructured":"J. F. S\u00d8gaard-Andersen, N. A. Lynch and B. W. Lampson, \u201cCorrectness of Communication Protocols, a Case Study,\u201d Tech. Rep. MIT\/LCS\/TR-589, Laboratory for Computer Science, MIT, November 1993."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1016\/0376-5075(78)90053-3","volume":"2","author":"C. A. Sunshine","year":"1978","unstructured":"C. A. Sunshine and Y. K. Dalal, \u201cConnection Management in Transport Protocols, \u201d Computer Networks, Vol. 2, pp. 454\u2013473, 1978.","journal-title":"Computer Networks"},{"key":"14_CR19","unstructured":"A. Tanenbaum, Computer Networks, 2nd edition, Prentice Hall, 1988."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"R. S. Tomlinson, \u201cSelecting Sequence Numbers,\u201d Proc. ACM SIGCOMM\/SIGOPS Interprocess Communications Workshop, pp. 11\u201323, 1975; in ACM Operating Systems Review, Vol. 9, No. 3, 1975.","DOI":"10.1145\/563905.810894"},{"key":"14_CR21","unstructured":"Transmission Control Protocol, DARPA Network Working Group Report RFC-793, University of Southern California, September 1981."},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0376-5075(81)90031-3","volume":"5","author":"R. W. Watson","year":"1981","unstructured":"R. W. Watson, \u201cTimer-based mechanisms in reliable transport protocol connection management,\u201d Computer Networks, Vol. 5, pp. 47\u201356, 1981.","journal-title":"Computer Networks"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"R. W. Watson, \u201cThe Delta-t Transport Protocol: Features and Experience,\u201d Proc. IEEE Conf. on Local Computer Networks, pp. 399\u2013407, 1989.","DOI":"10.1109\/LCN.1989.65288"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:46:15Z","timestamp":1586551575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584490","9783540487999"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0020433","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}