||Class for checking program invariants.
||Class for synchronizing concurrent execution of several threads.
||Class initiating parallel execution of several threads and collecting
||Class for parallel input data reading and processing.
||Event is synchronization object which can be either in signaled or
||Class multiplexing input from several streams.
||Class for supporting resource locking.
||Class for providing mutual exclusion of threads.
||This class links input and output streams so that data taken from input
stream is transfered to the output stream.
||First-In First-Out queue for synchronizing data exchange between several
||Classical Dijkstra semaphore with