C

Calculus of Communicating Systems (CCS) 7, 32, 60

call 226

call method 226

Car Park class diagram 82

Car Park model 80–81

Car Park program 81–83

CARPARKCONTROL 80, 82, 85

CarParkControl invariant 102

Carriero, N. 251, 258, 274

CarSpeed interface 176

Chandy, K.M. 120

channel 209–212, 214–218, 226, 273, 276

Channel class 212, 228, 234

Cheung, S.C. 156, 274

CHILL 234

choice 15–18

Chute class 302, 304

Ciancarini, P. 274

Clarke, E.M. 157

client–server 209, 225, 232, 234

common operators 368, 393 – 394

Communicating Sequential Processes (CSP). See CSP

composite process 39, 40, 44, 368, 378–380, 391–392

composition operator 39, 41, 59

computation tree logic (CTL) 365

concurrent 38

concurrent activity 31

Concurrent Euclid 104

concurrent execution 37–59

Concurrent Pascal 104

concurrent program 11, 24, 37, 38

condition synchronization 79–86

in Java 83–86

conditional notification 134

conditional process 239

connectors 239, 250, 266, 273

const 19, 374–375

constraint 309

Consumer class 289–292

consumer process 94, 101

Cordy, J.R. 104

countdown timer 21, 27–30

Counter class 65–67, 72, 73

critical section 77, 89, 91

cruise control system 2–4, 161–162

animation 5, 6

applet display 175

class diagram 176

Controller class 176–178

implementation 174–178

model elaboration 164–166

progress properties 172–174

revising the model 169–172

safety properties 167–169

simulation 3

SpeedControl class 178–179

structure diagram 162–163

CSP 7, 32, 59, 60, 210, 233, 317

Cunningham, R.J. 208