Coordination Problems in Multiprocessing Systems

Gerard J. Holzmann
PhD Thesis, June 14, 1979
Delft University of Technology