T

terminal sets of states 137, 138, 150

Therac 1, 4

thread-based systems 287, 316

thread life cycle 25–27

ThreadDemo example

implementation 56–59

model 53–56

ThreadPanel class 56, 82, 92, 214, 221, 228

threads 11–30, 81

in Java 24–25

tick 278, 279, 284, 287, 315

tick() 288, 291–293

tick phase 288, 292, 315, 316

tickets 192, 193

time 277

time-stop 281, 291, 298, 316

TimedCountDown class 289

timed CSP 317

timed objects 287–293, 313, 316

timed systems 277–315

implementing 287–295

modeling 278–287

modeling techniques 284–287

output in an interval 284–285

timed wait() 111, 121

TimedCountDown class 289

TimeManager class 289, 293

timeout 211, 234, 286–287

timing consistency 280–281

timing uncertainty 278, 285

token ring architecture 275

trace 13, 69–71, 89, 99, 124, 126, 127, 143, 155

transition graph 11

transitions 11, 13, 15

transparency 126

Transputer 210, 233

tuple space 251, 263, 273

implementation 253–254

modeling 252–253

TupleSpace interface 253

TupleSpaceImpl class 255

Turing Plus 104

Turner, C. 9

Turnstile class 65

two-phase clock 292

type-ahead buffer 93