Formal derivation of parallel program for 2dimensional maximum segment sum problem (1996)

by Z Hu, H Iwasaki, M Takeichi
Venue:In Annual European Conference on Parallel Processing, LNCS 1123