Concurrency: State Models and Java Programs

I/O automata 31

ImmutableList class 294

implicit invocation 266

indexed processes and actions 18–20

input action 16, 31

interface 393, 394

interface operator 50

interference 63–71, 77

interleaving 2, 37–39

interrupt() 54, 56, 57

invariants, monitors 101–102

isAlive() 26, 202