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