The stochastic π-calculus is a formalism that have been shown of interest for modelling systems where the stochasticity and the delay of transitions are important features, such as the biochemical reactions. Commonly, duration of transitions within stochastic π-calculus models follow an exponential random variable. Underlying dynamics of such distributed models are expressed in terms of continu...

The issue of Quality of Service (QoS) performance analysis in packet switched networks has drawn a lot of attention in the networking community in recent years. There is a lot of work including an elegant theory under the name of network calculus focusing on analysis of deterministic worst case QoS performance bounds. In the meantime, other researchers have studied the stochastic QoS performanc...

We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, t...