This paper surveys the theoretical developments in the field of stochastic process algebras,
process algebras where action occurrences may be subject to a delay that is determined by …

In this tutorial we give an overview of the process algebra EMPA, a calculus devised in order
to model and analyze features of real-world concurrent systems such as nondeterminism …

Stochastic activity networks have been used since the mid-1980s for performance,
dependability, and performability evaluation. They have been used as a modeling formalism …

An important application of formal methods is the specification, design, and analysis of
functional aspects of (distributed) systems. Recently the study of quantitative aspects of such …

In this paper we introduce the calculus of interactive generalized semi-Markov processes
(IGSMPs), a stochastic process algebra which can express probabilistic timed delays with …

This paper introduces stochastic process algebras as an approach for the structured design
and analysis of both the functional behavior and performance characteristics of parallel and …

Many computing systems consist of a possibly huge number of components that not only
work independently but also communicate with each other. The catastrophic consequences …

Considering functional correctness and performance evaluation in a common framework is
desirable, both for scientific and economic reasons. In this paper, we describe how the Cadp …

This paper discusses stochastic extensions of a simple process algebra in a causality-based
setting. Atomic actions are supposed to happen after a delay that is determined by a …

We present a process algebra for the performance modeling and evaluation of concurrent
systems whose activity durations are expressed through general probability distributions …