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.

Authors

Paolo A. G. Sivilotti

This author has not been identified. Look up 'Paolo A. G. Sivilotti' in Google