"31" Result
Sort By:
Communicating Sequential Processes (CSP) has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, CSP helps…
Communicating Sequential Processes (CSP) has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, CSP helps…
Reflections on the work of C.A.R. hoare
by Jones, Cliff B., Roscoe, A. W., Wood, Kenneth B.
0
Type: Book
Reflections on the work of C.A.R. Hoare
by Jones, Cliff B., Roscoe, A. W., Wood, Kenneth R.
0
Type: Book