{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:31Z","timestamp":1725559231562},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258094"},{"type":"electronic","value":"9783540320173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11422778_24","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T20:01:28Z","timestamp":1279051288000},"page":"289-302","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Soft State Protocols with SDL"],"prefix":"10.1007","author":[{"given":"Xiaoming","family":"Fu","sequence":"first","affiliation":[]},{"given":"Dieter","family":"Hogrefe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Braden, R., Zhang, L., Berson, S., Herzog, S., Jamin, S.: Resource ReSerVation Protocol (RSVP) \u2013 Version 1 Functional Specification. RFC 2205 (1997)","DOI":"10.17487\/rfc2209"},{"key":"24_CR2","unstructured":"Schulzrinne, H., Tschofenig, H., Fu, X., McDonald, A.: CASP \u2013 Cross-Application Signaling Protocol. Internet draft, work in progress (2003)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Paxson, V., Allman, M., et al.: Known TCP Implementation Problems. RFC 2525 (1999)","DOI":"10.17487\/rfc2525"},{"key":"24_CR4","unstructured":"Fu, X., Hogrefe, D., Willert, S.: Implementation and Evaluation of the Cross- Application Signaling Protocol (CASP). In: Proc. of ICNP 2004, Berlin, Germany (2004)"},{"key":"24_CR5","unstructured":"ITU-T Recommendation Z.100 \u2013 Specification and Description Language (SDL) (1999)"},{"key":"24_CR6","unstructured":"ITU-T Recommendation Z.120 \u2013 Message Sequence Chart (MSC) (1999)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1016\/S1389-1286(02)00355-9","volume":"40","author":"P. Schaible","year":"2002","unstructured":"Schaible, P., Gotzhein, R.: View-based Animation of Communication Protocols in Design and in Operation. Computer Networks\u00a040, 621\u2013638 (2002)","journal-title":"Computer Networks"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Ji, P., Ge, Z., Kurose, J., Towsley, D.: A Comparison of Hard-state and Soft-state Signaling Protocols. In: Proc. of SIGCOMM 2003, Karlsruhe, Germany (2003)","DOI":"10.1145\/863955.863984"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Raman, S., McCanne, S.: A Model, Analysis, and Protocol Framework for Soft State-based Communication. In: Proc. of SIGCOMM 1999, Cambridge, MA (1999)","DOI":"10.1145\/316188.316202"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Sharma, P., Estrin, D., Floyd, S., Jacobson, V.: Scalable Timers for Soft State Protocols. In: Proc. of INFOCOM 1997, Kobe, Japan (1997)","DOI":"10.1109\/INFCOM.1997.635133"},{"key":"24_CR11","unstructured":"Bradley, A., Bestavros, A., Kfoury, A.: Safe Composition of Web Communication Protocols for Extensible Edge Services. In: Proc. of Workshop on Web Content Caching and Distribution (WCW), Boulder, Colorado (2002)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1997.637142","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The Model Checker SPIN. IEEE Trans. on Softw. Engineering\u00a023, 1\u201317 (1997)","journal-title":"IEEE Trans. on Softw. Engineering"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/90.298431","volume":"2","author":"S. Floyd","year":"1994","unstructured":"Floyd, S., Jacobson, V.: The Synchronization of Periodic Routing Messages. IEEE\/ACM Trans. on Networking\u00a02, 122\u2013136 (1994)","journal-title":"IEEE\/ACM Trans. on Networking"}],"container-title":["Lecture Notes in Computer Science","NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11422778_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:15Z","timestamp":1605642735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11422778_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258094","9783540320173"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11422778_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}