{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:49Z","timestamp":1725746809098},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_15","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:26:23Z","timestamp":1377753983000},"page":"233-249","source":"Crossref","is-referenced-by-count":2,"title":["Validating SCTP Simultaneous Open Procedure"],"prefix":"10.1007","author":[{"given":"Somsak","family":"Vanit-Anunchai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"issue":"3","key":"15_CR1","first-page":"357","volume":"88","author":"J. Billington","year":"2008","unstructured":"Billington, J., Vanit-Anunchai, S.: Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundamenta Informaticae 88(3), 357\u2013385 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR2","unstructured":"CPN Tools home page, http:\/\/wiki.daimi.au.dk\/cpntools-help\/_home.wiki"},{"key":"15_CR3","unstructured":"Gordon, S.: Verification of the WAP Transaction Layer uisng Coloured Petri Nets. PhD thesis, Institute for Telecommunications Research and Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (November 2001)"},{"key":"15_CR4","unstructured":"Han, B.: Formal Specification of the TCP Service and Verification of TCP Connection Management. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (December 2004)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)","DOI":"10.1007\/b95112"},{"key":"15_CR6","unstructured":"Martins, M.G.M.: Modelagem e An\u00e1lise Formal de algumas Funcionalidades de um Protocolo de Transporte Atrv\u00e9s das Redes de Petri. Master\u2019s thesis, Instituto Nacional de Telecomunica\u00e7\u00f5es (INATEL), Santa Rita do Sapuca\u00ed, Brazil (December 2003) (Only available in Portuguese)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission Control Protocol (TCP), RFC793 (September 1981), http:\/\/www.rfc-editor.org\/rfc\/rfc793.txt","DOI":"10.17487\/rfc0793"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Stewart, R. (ed.): Stream Control Transmission Protocol (SCTP), RFC4960 (September 2007)","DOI":"10.17487\/rfc4960"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Stewart, R., Arias-Rodriguez, I., Poon, K., Caro, A., Tuexen, M.: Stream Control Transmission Protocol (SCTP) Specification Errata and, Issues, RFC4460 (September 2007)","DOI":"10.17487\/rfc4460"},{"key":"15_CR10","unstructured":"Vanit-Anunchai, S.: Toward Formal Modelling and Analysis of SCTP Connection Management. In: The 9th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Department of Computer Science, University of Aarhus, October 20\u201323, pp. 163\u2013182 (2008)"},{"key":"15_CR11","unstructured":"Vanit-Anunchai, S.: An Investigation of the Datagram Congestion Control Protocol\u2019s Connection Management and Synchronisation Procedures. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (November 2007)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Wang, J., Zhang, S., Chen, F.: Modelling and Verification of SCTP Association Management Based on Coloured Petri Nets. In: 2008 ISECS International Colloquium on Computing, Communication, Control, and Management, Guangzhou, China, August 3\u20134, pp. 379\u2013383. IEEE Computer Society (2008)","DOI":"10.1109\/CCCM.2008.261"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T21:50:55Z","timestamp":1646430655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}