Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert, editors, Euro-Par 96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I. Volume 1123 of Lecture Notes in Computer Science, pages 553-562, Springer, 1996.

@inproceedings{HuIT96:0,
  title = {Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem},
  author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
  year = {1996},
  tags = {parallel programming},
  researchr = {https://researchr.org/publication/HuIT96%3A0},
  cites = {0},
  citedby = {0},
  pages = {553-562},
  booktitle = {Euro-Par  96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I},
  editor = {Luc Bougé and Pierre Fraigniaud and Anne Mignotte and Yves Robert},
  volume = {1123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61626-8},
}