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]

Authors

Yuki Hasegawa

This author has not been identified. Look up 'Yuki Hasegawa' in Google

Yoshinao Isobe

This author has not been identified. Look up 'Yoshinao Isobe' in Google

Kazuhito Ohmaki

This author has not been identified. Look up 'Kazuhito Ohmaki' in Google

Hideki Mori

This author has not been identified. Look up 'Hideki Mori' in Google

Kensei Tsuchida

This author has not been identified. Look up 'Kensei Tsuchida' in Google

Yasunori Shiono

This author has not been identified. Look up 'Yasunori Shiono' in Google