Treats the mathematical mechanism that permits investigation of structures of both sequential and parallel algorithms. This mechanism allows recognition and explanation of the relations between different methods of constructing parallel algorithms and others.