Transition Systems with Algebraic Structure as Models of Computations