Catalogo · 9780131532717
Communicating sequential processes
ISBN 9780131532717
A landmark book describing a process algebra (Communicating Sequential Processes, or CSP) for designing algorithms that exploit concurrency and communication.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Software and systems safety
M. Broy, Christian Leuxner, C. A. R. Hoare
Unifying theories of programming
C. A. R. Hoare
The weakest prespecification
C. A. R. Hoare
The Mathematics of Programming
C. A. R. Hoare
Structured Programming
O. Dahl, Edsger Dijkstra, C. A. R. Hoare
Software system reliability and security
M. Broy, C. A. R. Hoare
Scientific applications of multiprocessors
Elliott, R. J., C. A. R. Hoare
Operating systems techniques
International Seminar on Operating Systems Techniques (1971 Queen's University of Belfast), International Seminar on Operating Systems Techniques (1971 : Queen's University of Belfast), Ronald H. Perrott, C. A. R. Hoare
Occam 2 Reference Manual
C. A. R. Hoare
Mechanized reasoning and hardware design
C. A. R. Hoare
Mathematical logic and programming languages
C. A. R. Hoare
Verba volant · scripta manent