Xiaoming Fu, Dieter Hogrefe. Modeling Soft State Protocols with SDL. In Raouf Boutaba, Kevin C. Almeroth, Ramón Puigjaner, Sherman X. Shen, James P. Black, editors, 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, Proceeding. Volume 3462 of Lecture Notes in Computer Science, pages 289-302, Springer, 2005. [doi]
Abstract is missing.