Concurrency: State Models and Java Programs

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