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]

Abstract

Abstract is missing.