Algebraic specification and proof of properties of communicating sequential processes
By: by C.A.R.Hoare and He Jifeng.
Contributors: He, Jifeng.; Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monograph -- PRG-52
Publisher: Oxford University
Published: 1985
Place of publication: Oxford
Language: eng