Specification of a Simplified Network Service in CSP
C.A.R. Hoare and C. Morgan
Book Title
LNCS 207 — The Analysis of Concurrent Systems‚ Cambridge‚ September 1983‚ Proceedings
Editor
B.T. Denvir and W.T. Harwood and M.I. Jackson
Note
There are a number of other contributions by Hoare to the discussions recorded in this volume.
Pages
345–353
Publisher
Springer−Verlag
Year
1985