Natalia López

Learn More
Bisimulations are a broadly used formalism to deene the semantics of process algebras. In particular, by means of weak bisimulation most of the internal activity of processes may be abstracted. Unfortunately, this is not fully accomplished: for instance, the internal choice operator becomes non-associative since bisimulation can see the branching structure(More)
In this paper we introduce a new Stochastic Process Algebra: NMSPA. This new language presents the usual features of stochastic models but probability distributions are not restricted to be exponential. This fact increases the expressive power of the language in several ways. For example , we can specify actions that can be executed with probability 1 in a(More)
Discussion forums are one of the simplest, while successful, Internet-based systems to promote the spread of knowledge. Unfortunately, they sometimes lack appropriate incentives to encourage users participation. In this paper we discuss a simple market-oriented mechanism to promote the knowledge exchange activity in discussion forums. The proposed solution(More)
Cerebral palsy (CP) is a catastrophic acquired disease, occurring during development of the fetal or infant brain. It mainly affects the motor control centres of the developing brain, but can also affect cognitive functions, and is usually accompanied by a cohort of symptoms including lack of communication, epilepsy, and alterations in behavior. Most(More)