Abstract
In this paper we have used the Markovian Process Algebra ROSA to both specify and analyze the Memorizing Process. ROSA, Reasoning On Stochastic Algebras, is an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes and to check some temporal requirements.