and thus be represented (for σ > 1 ) as a product of terms of the form exp(a(eibt − 1)), each of which is the characteristic function of a Poisson random variable with intensity a and values in the lattice kb, k = 0, 1, 2, . . . . Cf. Gnedenko and Kolmogorov [6, p. 75]. Faced with a family of “zeta distributions” indexed by parameter σ > 1 , one is led to ask for joint distributions, i.e., for ...

Process algebras represent an appropriate mechanism to formally specify concurrent systems. In order to get a thorough knowledge of these systems, some external formalism must be used. In this paper we propose an integrated framework where a (non-trivial) process algebra is combined with a (concurrent) functional language. Specifically, we consider a stochastic process algebra featuring value p...

We present a modification (and partly a generalization) of STOPBREAK process, which is the stochastic model of time series with permanent, emphatic fluctuations. The threshold regime of the process is obtained by using, so called, noise indicator. Now, the model, named the General SplitBREAK (GSB) process, is investigated in terms of its basic stochastic properties. We analyze some necessary an...

Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...