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
Software Engineeringby Ivan Marsic - Rutgers University
This book reviews some important technologies for software development with a focus on Web applications. Emphasis is on underlying principles and basic concepts. Written for upper-division undergraduate and graduate courses in software engineering.
(21040 views)
The Guide to the Software Engineering Body of Knowledgeby 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.
(19666 views)
Function Points Analysis Training Courseby David Longstreet - 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.
(16016 views)
Advances in Human Computer Interactionby Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(18255 views)