@conference {DBLP:conf/networking/FuH05, title = {Modeling Soft State Protocols with {SDL}}, booktitle = {{NETWORKING} 2005: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems, 4th International {IFIP-TC6} Networking Conference, Waterloo, Canada, May 2-6, 2005, Procee}, series = {Lecture Notes in Computer Science}, volume = {3462}, year = {2005}, pages = {289{\textendash}302}, publisher = {Springer}, organization = {Springer}, doi = {10.1007/11422778\_24}, url = {https://doi.org/10.1007/11422778\_24}, author = {Xiaoming Fu and Dieter Hogrefe}, editor = {Raouf Boutaba and Kevin C. Almeroth and Ram{\'o}n Puigjaner and Sherman X. Shen and James P. Black} }