Papers related to Networks

• A structured TCP in Standard ML [biagioni:sigcomm:1994]
• The nesC language: A holistic approach to networked embedded systems [gay:pldi:2003]
• Evolving real-time systems using hierarchical scheduling and concurrency analysis [regehr:rtss:2003]
• Knit: Component composition for systems software [reid:osdi:2000]