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: Introduction to Reverse Engineering SoftwareIntroduction to Reverse Engineering Software
by - UIUC
An introduction to reverse engineering software under both Linux and Windows. The author uses the Scientific Method to deduce specific behavior and to target, analyze, extract and modify specific operations of a program for interoperability purposes.
(11578 views)
Book cover: Advances in Human Computer InteractionAdvances in Human Computer Interaction
by - 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.
(12472 views)
Book cover: Practical Tips for Software-Intensive Student ProjectsPractical Tips for Software-Intensive Student Projects
by
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.
(14379 views)
Book cover: Jumpstart to Software Quality AssuranceJumpstart to Software Quality Assurance
by - Smashwords
Software Quality Assurance contributes in building capable processes in organization. This book provides practical insight for software quality analyst to start being productive within days, and contribute to building such capable processes.
(8154 views)