@inproceedings{5a58c7dd184c4c4db8e4335a53278a04,
title = "Extending timed process algebra with discrete stochastic time",
abstract = "When extending timed process algebra with discrete stochastic time, typical standard notions like time additivity are hard to preserve in the presence of the race condition. We propose context-sensitive interpolation as a restricted form of time additivity to accommodate the extension with stochastic time. We also present a stochastic process algebra featuring an explicit account of two types of race conditions in terms of conditional random variables. The approach enables compositional modeling, a non-trivial expansion law, and explicit manipulation of maximal progress.",
author = "J. Markovski and {Vink, de}, E.P.",
year = "2008",
doi = "10.1007/978-3-540-79980-1_21",
language = "English",
isbn = "978-4-540-79979-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "268--283",
editor = "J. Meseguer and G. Rosu",
booktitle = "Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings)",
address = "Germany",
}