Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007. pages 149-160, IEEE Computer Society, 2007. [doi]
Abstract is missing.