Concurrency: State Models and Java Programs

wait() 84, 85, 99, 101–103

wait-for cycle 107, 109, 114, 118–120

Walker, D. 207

Ward, P.T. 180

weak semantic equivalence 395

Weak Until 356–358

Welsh, J. 104

Wirth, N. 104

Witness 362–363

Wolper, P. 156

Worker class 263, 264

WorkerCanvas class 261, 262