This paper presents a compositional theory of networking as an example of a useful and realistic domain theory. First, the paper uses networking to illustrate all the parts of a domain theory, including a re-usable domain description with intrinsic state and behavior, software interfaces and specifications, requirements, proof obligations, and theorems. Next, the theory is extended with composition of network domains, which is directly relevant to solving today's most critical networking

more »

... s. Finally, the paper proposes ways in which the theory can contribute directly to the design and development of network software.