/ Papers / On the challenge of delivering high-performance, dependable, model-checked internet servers
In proceedings of the First Conference on Hot Topics in System Dependability, Jun 2005
PDF   URL   BibTeX  

Abstract. No abstract available

Authors. Anil Madhavapeddy and Dave Scott

See Also. This publication was part of the Functional Internet Services project.

News Updates

Jun 2005. «» Paper on temporal automata for protocol implementations at HotDep 2005 / «» Blogged about the OpenBSD C2K5 hackathon trip in Canada.