{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:30:43Z","timestamp":1742913043673,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291893"},{"type":"electronic","value":"9783540320845"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562436_12","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"143-158","source":"Crossref","is-referenced-by-count":12,"title":["Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol"],"prefix":"10.1007","author":[{"given":"Somsak","family":"Vanit-Anunchai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tul","family":"Kongprakaiwoot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Application of Petri Nets to Communication Networks","year":"1999","unstructured":"Billington, J., D\u00edaz, M., Rozenberg, G. (eds.): APN 1999. LNCS, vol.\u00a01605. Springer, Heidelberg (1999)"},{"key":"12_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.E., 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)"},{"unstructured":"Han, B., Billington, J.: Validating TCP connection management. In: Workshop on Software Engineering and Formal Methods, Conferences in Research and Practice in Information Technology, ACS, vol.\u00a012, pp. 47\u201355 (2002)","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol.\u00a01-3. Springer, Berlin (1997)","key":"12_CR4","DOI":"10.1007\/978-3-642-60794-3"},{"unstructured":"Kohler, E., Floyd, S.: Datagram Congestion Control Protocol (DCCP) overview (2003), http:\/\/www.icir.org\/kohler\/dcp\/summary.pdf","key":"12_CR5"},{"unstructured":"Kohler, E., Floyd, S. Datagram Congestion Control Protocol, Internet- Draft version 5. draft-ietf-dccp-spec-05.ps (October 2003), http:\/\/www.icir.org\/kohler\/dcp\/","key":"12_CR6"},{"unstructured":"Kohler, E., Floyd, S.: Datagram Congestion Control Protocol, Internet- Draft version 6. draft-ietf-dccp-spec-06.ps (February 2004), http:\/\/www.icir.org\/kohler\/dcp\/","key":"12_CR7"},{"doi-asserted-by":"crossref","unstructured":"Kohler, E., Floyd, S.: Datagram Congestion Control Protocol, Internet- Draft version 11. draft-ietf-dccp-spec-11.ps (March 2005), http:\/\/www.icir.org\/kohler\/dcp\/","key":"12_CR8","DOI":"10.17487\/rfc4340"},{"unstructured":"Kongprakaiwoot, T.: Verification of the Datagram Congestion Control Protocol Using Coloured Petri Nets. Master of Engineering Minor Thesis, Computer Systems Engineering Centre, University of South Australia (2004)","key":"12_CR9"},{"unstructured":"University of Aarhus (2004), Design\/CPN Online, http:\/\/www.daimi.au.dk\/~designCPN\/","key":"12_CR10"},{"unstructured":"Vanit-Anunchai, S., Billington, J.: Initial Result of a Formal Analysis of DCCP Connection Management. In: Proc. Fourth International Network Conference, Plymouth, UK, July 2004, vol.\u00a06-9, pp. 63\u201370 (2004)","key":"12_CR11"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:39Z","timestamp":1586515239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11562436_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}