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