Chai Seng Pua M. Howard Williams David H. Marwick Modelling parallel databases with process algebra. 1909-1924 2000 26 Parallel Computing 13-14 db/journals/pc/pc26.html#PuaWM00