{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:42Z","timestamp":1725559002423},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_12","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"174-186","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP"],"prefix":"10.1007","author":[{"given":"Constantin","family":"Werner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoming","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Hogrefe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_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, IETF (1997)","DOI":"10.17487\/rfc2209"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-48213-X_19","volume-title":"SDL 2001: Meeting UML","author":"O. Monkewich","year":"2001","unstructured":"Monkewich, O., Sales, I., Probert, R.: OSPF Efficient LSA Refreshment Function in SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 300\u2013315. Springer, Heidelberg (2001)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Malkin, G.: RIP Version 2 \u2013 Carrying Additional Information. RFC 1723, IETF (1994)","DOI":"10.17487\/rfc1723"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Chan, K.Y., Bochmann, G.v.: Modeling IETF Session Initiation Protocol and its services in SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 352\u2013373. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-45075-0_21"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Grepet, C., Maag, S., Tortajada, V.: A Validation Model for the DSR protocol. In: ICDCS 2004 (2004)","DOI":"10.1109\/ICDCSW.2004.1284120"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Fu, X., Hogrefe, D.: Modeling Soft State Protocols with SDL. In: Proceedings of IFIP International Conference on Networking, Waterloo, Canada (2005) (to appear)","DOI":"10.1007\/11422778_24"},{"key":"12_CR7","volume-title":"SDL \u2013 Object Oriented Language for Communication Systems","author":"J. Ellsberger","year":"1997","unstructured":"Ellsberger, J., Hogrefe, D., Sarma, A.: SDL \u2013 Object Oriented Language for Communication Systems. Prentice Hall, Englewood Cliffs (1997)"},{"key":"12_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":"12_CR9","doi-asserted-by":"crossref","unstructured":"Sharma, P., Estrin, D., Floyd, S., Jacobson, V.: Scalable timers for soft state protocols. In: INFOCOM 1997, Kobe, Japan (1997)","DOI":"10.1109\/INFCOM.1997.635133"},{"key":"12_CR10","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":"12_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, L., Deering, S., Estrin, D., Shenker, S., Zappala, D.: RSVP: A New Resource Reservation Protocol. IEEE Network (1993)","DOI":"10.1109\/65.238150"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Hancock, R., Karagiannis, G., Loughney, J., Van den Bosch, S.: Next Steps in Signaling: Framework. Internet draft, work in progress, IETF (2004)","DOI":"10.17487\/rfc4080"},{"key":"12_CR13","volume-title":"Computer Networks","author":"A.S. Tanenbaum","year":"2002","unstructured":"Tanenbaum, A.S.: Computer Networks, 4th edn. Prentice Hall, Englewood Cliffs (2002)","edition":"4"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:03:30Z","timestamp":1605625410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11506843_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}