Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
See Usage Policy. 7MB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/other.png)
|
Other (Adobe PDF (6.7MB))
See Usage Policy. 6MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16
Abstract
No abstract available.
| Item Type: | Report or Paper (Technical Report) |
|---|---|
| Group: | Computer Science Technical Reports |
| Record Number: | CaltechCSTR:1990.cs-tr-90-16 |
| Persistent URL: | https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16 |
| Usage Policy: | You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format. |
| ID Code: | 26731 |
| Collection: | CaltechCSTR |
| Deposited By: | Imported from CaltechCSTR |
| Deposited On: | 25 Apr 2001 |
| Last Modified: | 03 Oct 2019 03:17 |
Repository Staff Only: item control page
