A theory of communicating sequential processes
A theory of communicating sequential processes
1981
C. A. R. Hoare
Details
First published
1981
OL Work ID
OL1841845W
Find this book
Open Library