6th IEEE International Conference on Cognitive Informatics
Download PDF

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.
Like what you’re reading?
Already a member?Sign In
Member Price
$11
Non-Member Price
$21
Add to CartSign In
Get this article FREE with a new membership!

Related Articles