Communicating sequential processes
Saved in:
| Main Author: | Hoare, C. A. R. (Charles Antony Richard), 1934- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs, N.J. :
Prentice/Hall International,
c1985.
|
| Series: | Prentice-Hall international series in computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Fundamentals of sequential and parallel algorithms
by: Berman, Kenneth A.
Published: (1997) -
Verifying concurrent processes using temporal logic
by: Hailpern, Brent T. (Brent Tzion) 1955-
Published: (1982) -
Parallel computing works!
by: Fox, Geoffrey C.
Published: (1994) -
Process algebra
by: Baeten, J. C. M.
Published: (1990) -
Parallel and sequential methods for ordinary differential equations
by: Burrage, Kevin
Published: (1995)