Execution properties

\zline{\fbox{\muCC}}
  • thread
  • execution state
  • mutual exclusion

slide: Execution properties