A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays (2005)

by Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi