D

Dahl, O. 104, 208

Darwin, graphical representation 60

data independence 94

Database Ring Problem 358–364

Davies, G.L. 9, 274

deadlock 59, 99, 100, 107–119, 281

analysis 108–111

check 108

detection and recovery 108

state 108, 119, 124

default progress property 139

default property 138

Departures class 82

design architecture 160–161, 174, 175

deterministic property 126, 155

Dijkstra, E.W. 77, 86, 87, 103, 112, 120, 206, 207

Dining Philosophers 112–119

applet 117, 118

composite model 113

implementation 114–118

Dining Savages 104

discrete time 278, 279, 316

CSP 317

double-click program 277–279

Dulay, N. 60

dynamic systems 183–205