Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture

Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono. Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. JIP, 20(3):559-569, 2012. [doi]

@article{HasegawaIOMTS12,
  title = {Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture},
  author = {Yuki Hasegawa and Yoshinao Isobe and Kazuhito Ohmaki and Hideki Mori and Kensei Tsuchida and Yasunori Shiono},
  year = {2012},
  doi = {10.2197/ipsjjip.20.559},
  url = {http://dx.doi.org/10.2197/ipsjjip.20.559},
  researchr = {https://researchr.org/publication/HasegawaIOMTS12},
  cites = {0},
  citedby = {0},
  journal = {JIP},
  volume = {20},
  number = {3},
  pages = {559-569},
}