A Verified Integration of Parallel Programming Paradigms in CC++

Paolo A. G. Sivilotti. A Verified Integration of Parallel Programming Paradigms in CC++. In Howard Jay Siegel, editor, Proceedings of the 8th International Symposium on Parallel Processing, CancĂșn, Mexico, April 1994. pages 44-50, IEEE Computer Society, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.