HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

The Stochastic Quality Calculus

Abstract : 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, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the non-determinism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 17, 2016 - 3:27:13 PM
Last modification on : Thursday, May 12, 2016 - 10:47:57 AM
Long-term archiving on: : Saturday, June 18, 2016 - 5:54:37 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Kebin Zeng, Flemming Nielson, Hanne Nielson. The Stochastic Quality Calculus. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩. ⟨hal-01290076⟩



Record views


Files downloads