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
Case Studies in Systematic Software Developmentby Cliff B. Jones and Robert C. F. Shaw - Prentice Hall
This book covers the case studies on the application of the most widely known formal methods in software development, the Vienna Development Method. VDM was developed in an industrial environment but has also evoked considerable academic research.
(14565 views)
The New Software Engineeringby Sue Conger - Global Text Project
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
(19343 views)
Software Foundationsby Benjamin C. Pierce - University of Pennsylvania
These are notes for a course on software foundations, suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems.
(14005 views)
Introduction 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.
(11188 views)