fbspot.blogg.se

Communicating sequential processes
Communicating sequential processes











communicating sequential processes

The parallel composition of subsystems is as simple as the sequential composition of lines or statements in a conventional programming language. The basic idea is that these systems can be readily decomposed into subsystems which operate concurrently and interact with each other as well as with their common environment. The most obvious application of the new ideas is to the specification, design, and implementation of computer systems which continuously act and interact with their environment. The ultimate objective of the book is to convey an insight which will enable the reader to see both current and future problems in a fresh light, in which they can be more efficiently and more reliably solved and even better, they can sometimes be avoided. Hoare, a well known figure who discovered the QuickSort algorithm in 1959 and led a team in the design and delivery of the first commercial compiler for the programming language, the Algol 60, in 1960. The language and this book was authored by the same person, C.

communicating sequential processes

This book is an introduction to CSP (Communicating Sequential Processes), a formal language used to describe parallel systems. However, such copying, printing, or distribution may not: be carried out for commercial gain or - for copyright reasons - take place within India, Pakistan, Bangladesh, Sri Lanka, or the Maldives or involve any modification to the document itself.

#Communicating sequential processes free#

Jim Davies wrote: An electronic version of the book has been produced, and may be copied, printed, and distributed free of charge. :santagrin: This book was suggested by Alex Sinton, a Senior Design Engineer at Definitive Design, Pasadena













Communicating sequential processes