handshake 43
Hankin, C. 274
Harel, D. 31, 180, 181
heavyweight processes 24
hiding 49–51, 59, 60, 75, 381–382, 393
hiding operator 49
high priority operator 139
Hoare, C.A.R. 32, 59, 60, 103, 210, 233
Holt, R.C. 104
Holzmann, G.J. 156