This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.
Communicating Sequential Processes Csp
โ Scribed by C A R Hoare
- Publisher
- Prentice Hall PTR
- Year
- 2004
- Tongue
- English
- Leaves
- 260
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.
<p><p>This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14โ16, 2018. Presenting the latest developments and discussing the interactions and links between these multidisciplinary fields, t
<p><p>This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14โ16, 2018. Presenting the latest developments and discussing the interactions and links between these multidisciplinary fields, t
<p><p>This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14โ16, 2018. Presenting the latest developments and discussing the interactions and links between these multidisciplinary fields, t