Dan Zhou and Paul E. Black, Formal Specification of Operating System Operations, Proc. of IEEE TC-ECBS and IFIP WG10.1 joint workshop on Formal Specifications of Computer Based Systems, pages 69-73, Washington, D.C., (April 2001).
Get the paper in DVI (29k), Postscript (70k), or PDF (53k). Expanded version in DVI (45k) or Postscript (92k).
This page's URL is /~black/Papers/formalOS2002.html
Updated Mon Oct 20 12:54:59 2003by Paul Black (firstname.lastname@example.org)
Go to Black's papers or NIST home page.