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: 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.
(13990 views)
Book cover: Introduction to Software EngineeringIntroduction to Software Engineering
- Wikibooks
The problems to solve in software engineering are so complex or large, that a single developer cannot solve them anymore. This book is an introduction to the art of software engineering. It is intended as a textbook for an undergraduate level course.
(4715 views)
Book cover: Specifying SystemsSpecifying Systems
by - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.
(9967 views)
Book cover: Handbook of Software Reliability EngineeringHandbook of Software Reliability Engineering
by - McGraw-Hill
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.
(6945 views)