Synchronization using counting semaphores

Vivek Sarkar. Synchronization using counting semaphores. In ICS. pages 627-637, 1988. [doi]