Linck, M. H.
(Linck, M.H. (1982) A CSP Description of some Parallel Sorting Algorithms,. Computer Society of South Africa (on behalf of SAICSIT), 1982)
Hoare's CSP notation is used to describe 3 parallel sorting algorithms. The first algorithm uses n/2 processes working
in parallel, the second uses an array of n parallel processes and the third algorithm is a parallel ...