A Model for Communicating Sequential Processes
C.A.R. Hoare
Book Title
On the Construction of Programs
Editor
R.M. McKeag and A.M. MacNaughten
Pages
229−254
Publisher
Cambridge University Press
Year
1980
C.A.R. Hoare