@inproceedings{9353d9ad01664117a2a820e0c2799313,
title = "Embedding real time in stochastic process algebras",
abstract = "We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks. We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework.",
author = "J. Markovski and {Vink, de}, E.P.",
year = "2006",
doi = "10.1007/11777830_4",
language = "English",
isbn = "3-540-35362-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "47--62",
editor = "A. Horv{\'a}th and M. Telek",
booktitle = "Formal Methods and Stochastic Models for Performance Evaluation (Proceedings 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006)",
address = "Germany",
}