Communicating Sequential Processes Csp

Foreword......Page 3 Preface......Page 5 Summary......Page 9 Acknowledgements......Page 13 Glossary of Symbols......Page 15 Introduction......Page 23 Pictures......Page 34 Laws......Page 36 Implementation of processes......Page 38 Traces......Page 41 Operations on traces......Page 43 Implementation of traces......Page 48 Traces of a process......Page 49 More operations on traces......Page 56 Specifications......Page 59 Interaction......Page 67 Concurrency......Page 70 Pictures......Page 76 Example: The Dining Philosophers......Page 77 Change of symbol......Page 83 Specifications......Page 93 Mathematical theory of deterministic processes......Page 94 Introduction......Page 103 Nondeterministic or......Page 104 General choice......Page 108 Refusals......Page 110 Concealment......Page 112 Interleaving......Page 121 Specifications......Page 123 Divergence......Page 127 Mathematical theory of non-deterministic processes......Page 130 Input and output......Page 135 Communications......Page 144 Pipes......Page 153 Subordination......Page 164 Introduction......Page 175 Laws......Page 179 Mathematical treatment......Page 180 Interrupts......Page 183 Assignment......Page 189 Introduction......Page 203 Sharing by interleaving......Page 204 Shared storage......Page 209 Multiple resources......Page 211 Operating systems......Page 220 Scheduling......Page 226 Shared storage......Page 229 Communication......Page 240 Mathematical models......Page 248 Select Bibliography......Page 255 Index......Page 257