BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-78-159
       ENTRY:: December 01, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: SPECIFICATION AND VERIFICATION OF NETWORK MAIL SYSTEM
        TYPE:: Technical Report
      AUTHOR:: Owicki, Susan S.
        DATE:: November 1978
       PAGES:: 38
    ABSTRACT:: Techniques for describing and verifying modular systems are
               illustrated using a simple network mail problem. The design
               is presented in a top-down style. At each level of
               refinement, the specifications of the higher level are
               verified from the specifications of lower level components.
       NOTES:: [Adminitrivia V1/Prg/19941201]
         END:: STAN//CSL-TR-78-159