Published January 1, 1990
| public
Technical Report
Open
Parallel Program Design and Generalized Weakest Preconditions
- Creators
- Lukkien, Johan J.
Chicago
An error occurred while generating the citation.
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
- Eprint ID
- 26731
- Resolver ID
- CaltechCSTR:1990.cs-tr-90-16
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports