Concurrency: State Models and Java Programs

observational equivalence 60

Occam 209–211, 233

OMT (Object Modeling Technique) 5

operating system processes 23–24

operators 368

Ornamental Garden

Animator trace 70

class diagram 64

corrected program 72, 73

model 67–71

problem 63–67

output action 15