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