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
Practical Tips for Software-Intensive Student Projects
by Damith C. Rajapakse
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
(18901 views)
by Damith C. Rajapakse
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
(18901 views)
Software Product Line: Advanced Topic
by 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 ...
(10173 views)
by 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 ...
(10173 views)
The Guide to the Software Engineering Body of Knowledge
by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp - IEEE
The purpose of this guide is to provide a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline.
(18809 views)
by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp - IEEE
The purpose of this guide is to provide a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline.
(18809 views)
Scientific Programming and Computer Architecture
by Divakar Viswanath - The MIT Press
This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity.
(6402 views)
by Divakar Viswanath - The MIT Press
This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity.
(6402 views)