Theory of Semigroups and Applications