balking 317
Balzer, B. 233
barrier synchronization 274
Ben-Ari, M. 9
Birtwistle, G.M. 104, 208
BlueCar class 131, 132
Booch, G. 5, 25, 31, 180
bounded buffers 93–96, 231, 232
model 94–95
program 95–96
using semaphores 98
bounded delays 207
bounded overtaking 194–200
bounder buffer invariant 102
BoxCanvas class 270
BoxMover class 271, 272
Bridge class 133
BridgeCanvas class 130, 131
Brinch-Hansen, P. 103, 104, 233
Bruno, G. 180
Büchi automaton 156, 352–355, 365
Buffer interface 95
buffer invariant 102
BufferImpl class 95, 245
buffer tolerant 241
buffers 93–96, 249
Burns, A. 9, 274
Bustard, D.W. 104