Concurrency: State Models and Java Programs

efficiency 265

Eisenbach, S. 60

Emerson, E.A. 157

encapsulation 161

END 320

entering a monitor 84

entry 225, 226

Entry class 226–228, 233

equivalent observable behavior 50

ERROR state 70, 88, 89, 124–126, 129, 148, 155

event 265, 266, 268

event-based architectures 265, 274

event-based systems 287, 292, 316

eventually 351, 355, 357

exhaustive analysis 5

exhaustive search 70, 74

exists 350

exiting a monitor 84

expressions 383–385