Modelling parallel databases with process algebra. - Pua, Chai Seng; Williams, M. Howard; Marwick, David H. (Parallel Comput., 2000)