Communicating Sequential Processes by C.A.R. Hoare

Communicating Sequential Processes

Communicating Sequential Processes by C.A.R. Hoare
Publisher: Prentice Hall 2004
ISBN/ASIN: 0131532715
ISBN-13: 9780131532717
Number of pages: 260
Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes is an excellent introduction to the language, and also to the mathematical theory.
Computers & Internet Computer Science Software Engineering



More Free E-Books For Software Engineering


Similar Books For Software Engineering

1. Introduction to Software Engineering by
2. SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More by
3. Jumpstart to Software Quality Assurance by Vishnuvarthanan Moorthy
4. Software Fault Tolerance by Michael R. Lyu
5. Software Product Line: Advanced Topic by Abdelrahman Osman Elfaki
6. Handbook of Software Reliability Engineering by Michael R. Lyu
7. The Elements of Computing Systems by Noam Nisan, Shimon Schocken
8. A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederlinski
9. Software Architecture by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman
10. Knowware: the third star after Hardware and Software by Ruqian Lu
11. Acceptance Test Engineering Guide by Grigori Melnik, Gerard Meszaros, Jon Bach
12. SOA Source Book by
13. The Grand Unified Theory of Software Engineering by Mathias Ekstedt
14. Software Foundations by Benjamin C. Pierce
15. Specifying Systems by Leslie Lamport
16. Introduction to Reverse Engineering Software by Mike Perry, Nasko Oskov
17. Advances in Human Computer Interaction by Shane Pinder
18. Practical Tips for Software-Intensive Student Projects by Damith C. Rajapakse
19. Software Engineering with Reusable Components by Johannes Sametinger
20. Software Engineering by Ivan Marsic
21. The New Software Engineering by Sue Conger
22. Recommended Approach to Software Development by Linda Landis, et al.
23. Function Points Analysis Training Course by David Longstreet
24. Case Studies in Systematic Software Development by Cliff B. Jones and Robert C. F. Shaw
25. Software Engineering for Internet Applications by Eve Andersson, Philip Greenspun, Andrew Grumet
26. Communicating Sequential Processes by C.A.R. Hoare
27. The Guide to the Software Engineering Body of Knowledge by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp



Categories