Does ROSA provide a good view of the Memorizing Process?
Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Dı́az, Elena Nieto · 2007
In this paper we have used the Markovian process algebraROSAto 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.