186
click to vote
POPL
2005
ACM
16 years 17 days ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...