Conditional Concurrency Combinators

The calculus of conditional concurrency combinators is introduced, allowing the programmer to declare synchronization code separately from the main code, and the advantages of the language constructs are discussed by using them to solve a few example classical synchronization problems.