Communicating Sequential Processes
by C.A.R. Hoare
Publisher: Prentice Hall 2004
ISBN/ASIN: 0131532715
ISBN-13: 9780131532717
Number of pages: 260
Description:
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.
Download or read it online for free here:
Download link
(1.2MB, PDF)
Similar books
SOA Source Book- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(14594 views)
Software Engineering with Reusable Componentsby Johannes Sametinger - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
(18220 views)
A Gentle Guide to Constraint Logic Programming via ECLiPSeby Antoni Niederlinski
Introductory and down-to-earth presentation of Constraint Logic Programming, an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.
(12155 views)
Software Product Line: Advanced Topicby Abdelrahman Osman Elfaki - InTech
The Software Product Line (SPL) is an emerging methodology for developing software products. There are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers ...
(11861 views)