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: SOA eBook: Patterns, Mashups, Governance, Service Modeling, and MoreSOA eBook: Patterns, Mashups, Governance, Service Modeling, and More
- Pearson e ducation, Inc.
This volume is a collection of chapters from eight popular books, comprehensive tutorials that teach fundamental and advanced SOA design principles, supplemented with detailed case studies and technologies used to implement SOAs in the real world.
(3979 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.
(4199 views)
Book cover: The Grand Unified Theory of Software EngineeringThe Grand Unified Theory of Software Engineering
by - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(7272 views)
Book cover: Software Engineering with Reusable ComponentsSoftware Engineering with Reusable Components
by - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
(11200 views)