Probabilistic Branching in Markovian Process Algebras
نویسندگان
چکیده
منابع مشابه
Probabilistic Branching in Markovian Process Algebras
We introduce immediate transitions as an extension of Stochastic Process Algebras (SPA). We distinguish two diierent classes of immediate transitions: probabilistic branching and management activities. We discuss both approaches and develop a theory for the probabilistic branching case. Although we use TIPP as a sample language within this paper, the theory can easily be adapted to other Stocha...
متن کاملA decomposable branching process in a Markovian environment
A population has two types of individuals, each occupying an island. One of those, where individuals of type 1 live, offers a variable environment. Type 2 individuals dwell on the other island, in a constant environment. Only one-way migration (1 → 2) is possible. We study the asymptotics of the survival probability in critical and subcritical cases.
متن کاملProbabilistic Extensions of Process Algebras ?
In this chapter, we adopt Probabilistic Transition Systems as a basic model for probabilistic processes, in which probabilistic and nondeter-ministic choices are independent concepts. The model is essentially a nondeterministic version of Markov decision processes or probabilistic automata of Rabin. We develop a general framework to deene proba-bilistic process languages to describe probabilist...
متن کاملPerformance measure sensitive congruences for Markovian process algebras
The modeling and analysis experience with process algebras has shown the necessity of extending them with priority, probabilistic internal/external choice, and time while preserving compositionality. The purpose of this paper is to make a further step by introducing a way to express performance measures, in order to allow the modeler to capture the QoS metrics of interest. We show that the stan...
متن کاملAn Overview of Probabilistic Process Algebras and their Equivalences
In order to describe probabilistic processes by means of a formal model, some considerations have to be taken into account. In this paper we present some of the ideas appeared in the literature that could help to define appropriate formal frameworks for the specification of probabilistic processes. First, we will explain the different interpretations of the probabilistic information included in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.7.590