Execution properties
\zline{\fbox{\muCC}}
thread
execution state
mutual exclusion
slide
:
Execution properties