Logo

Communicating Sequential Processes

Large book cover: Communicating Sequential Processes

Communicating Sequential Processes
by

Publisher: Prentice Hall
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.

Home page url

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: The Guide to the Software Engineering Body of KnowledgeThe Guide to the Software Engineering Body of Knowledge
by - 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.
(12275 views)
Book cover: Software Fault ToleranceSoftware Fault Tolerance
by - John Wiley & Sons Ltd.
Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.
(6156 views)
Book cover: Knowware: the third star after Hardware and SoftwareKnowware: the third star after Hardware and Software
by - Polimetrica
This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.
(6749 views)
Book cover: Function Points Analysis Training CourseFunction Points Analysis Training Course
by - SoftwareMetrics.Com
The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.
(9941 views)