- Record: found
- Abstract: not found
- Article: not found
Issues in the design of a parallel object-oriented language
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references27
- Record: found
- Abstract: not found
- Article: not found
An axiomatic basis for computer programming
C. Hoare (1969)
- Record: found
- Abstract: not found
- Article: not found
An axiomatic proof technique for parallel programs I
David Gries, Susan Owicki (1976)