Added Mutex and Counting semaphores