1<assertions> 2 <assertion id="1" tag="pt:SEM"> 3Using semaphore to protect critical section 4 </assertion> 5 <assertion id="2" tag="pt:SEM"> 6Using semaphore to implement producer and consumer mechanism 7 </assertion> 8 <assertion id="3" tag="pt:SEM"> 9Using semaphore to implement reader and writer problem 10 </assertion> 11 <assertion id="4" tag="pt:SEM"> 12Using semaphore to implement philosopher problem 13 </assertion> 14 <assertion id="5" tag="pt:SEM"> 15Using semaphore to implement sleeping Barber problem 16 </assertion> 17</assertions> 18