B

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