Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published January 1, 1990 | public
Report Open

Parallel Program Design and Generalized Weakest Preconditions

Abstract

No abstract available.

Files

postscript.pdf
Files (14.1 MB)
Name Size Download all
md5:855bbf2a47b434094f028950de31fd77
6.7 MB Preview Download
md5:8c146ebf6f702ee75c1e96e69c48fca5
7.5 MB Download

Additional details

Created:
August 19, 2023
Modified:
December 22, 2023