OnDoc
| sign
in
up
~
pub
|
pdf
txt
html
toc
url
|
<<
>>
1
2
3
4
5
6
7
8
~
260
Table of Contents
Foreword
Preface
Summary
Acknowledgements
Glossary of Symbols
Processes
Introduction
Pictures
Laws
Implementation of processes
Traces
Operations on traces
Implementation of traces
Traces of a process
More operations on traces
Specifications
Concurrency
Introduction
Interaction
Concurrency
Pictures
Example: The Dining Philosophers
Change of symbol
Specifications
Mathematical theory of deterministic processes
Nondeterminism
Introduction
Nondeterministic or
General choice
Refusals
Concealment
Interleaving
Specifications
Divergence
Mathematical theory of non-deterministic processes
Communication
Introduction
Input and output
Communications
Pipes
Subordination
Sequential Processes
Introduction
Laws
Mathematical treatment
Interrupts
Assignment
Shared Resources
Introduction
Sharing by interleaving
Shared storage
Multiple resources
Operating systems
Scheduling
Discussion
Introduction
Shared storage
Communication
Mathematical models
Select Bibliography
Index