Rabin, M.O. 120
range 19, 374–375
range type 19
read/write lock 123, 147, 148, 150, 154
Readers–Writers problem 146–154
applet display 152
implementation 150–152
modeling 146–150
revised implementation 153–154
revised model 153–154
ReadWrite interface 151
ReadWriteSafe class 151
real-time 277
receive 209–211, 215
Receiver class 212–215
rectangle method 260
recursive locking 73, 74, 78
RedCar class 131, 132
Redell, D.D. 104
Reiss, S.P. 274
relabeling 48–49, 51, 59, 60, 381–382, 393
relabeling functions 48–49
Remote Method Invocation (RMI) 232
rendezvous 209–232, 273
applet display 227, 228
definition 209, 226, 232
in Java 226–228
modeling 228–231
and monitor method invocation 231–232
reply 226
reply method 226
request-reply 225
requirements specification 160
Result class 262, 263
resume() 26
rigid 357
Robson, D. 274
ROOM 180
Roscoe, A.W. 317
Rotator class 56, 57
Rumbaugh, J. 25, 31, 180
run() 24–26, 29, 30, 295
Runnable 25, 26, 29