Recent research has investigated ways in which general probability distributions may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such distributions, improving expressibility, but in general this makes performance evaluation diicult. Typically, simulation techniques must be employed. We attack the goal of general probability distributions from the ...

We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...

chloride ion ingress in concrete is the main reason of concrete corrosion. in real world both uncertainty and stochasticity are main attributes of almost all measurements including testing and modeling of chloride content profile in concrete. regarding these facts new models should be able to represent at least some of the uncertainties in the predictions. in this paper after inspiration from c...

In this paper, a high-order and conditionally stable stochastic difference scheme is proposed for the numerical solution of $rm Ithat{o}$ stochastic advection diffusion equation with one dimensional white noise process. We applied a finite difference approximation of fourth-order for discretizing space spatial derivative of this equation. The main properties of deterministic difference schemes,...

In this paper at rst, a history of mathematical models is given.Next, some basic information about random variables, stochastic processesand Markov chains is introduced. As follows, the entropy for a discrete timeMarkov process is mentioned. After that, the entropy for SIS stochastic modelsis computed, and it is proved that an epidemic will be disappeared after a longtime.