Mutex Visualization

Properties: Mutual Exclusion: Success Bounded Waiting: Success Progress: Success No Deadlock: Error
PROCESS
ENTRY
CRITICAL
EXIT
ACTIVITY LOG
    Mutexes: