n Are high-level language constructs that provide equivalent functionality to that of semaphores but are easier to control n Found in many concurrent programming languages F Concurrent Pascal, Modula-3, uC++, Java... n Can be implemented by semaphores...