Coordination Problems in Multiprocessing Systems
Gerard J. Holzmann
PhD Thesis, June 14, 1979
Delft University of Technology
Part One
- Preliminary studies
Front matter
Preface
Chapter 1, On Multiprocessing
Chapter 2, On Correctness Analysis
Chapter 3, On Structured Programming
Part Two
- Coordination schemes
Chapter 4, The Section Model
Part Three
- Case Analysis: Call processing
Chapter 5, Multi-Control in Telephone Exchanges
Chapter 6, Analysis of Coordination problems in Call Handling Software
Appendices
A - Algorithms for Concurrent Programming Control
B - Graph Generation and Complexity Measures
C - Complex Sequencing Structures
D - The Transition Table Model
E - Processor Contention
F - Function Descriptions
Other
Summary
Biographical Note, Samenvatting (Dutch)
Stellingen (in Dutch)