Embedding real time in stochastic process algebras

J. Markovski, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationFormal Methods and Stochastic Models for Performance Evaluation (Proceedings 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006)
EditorsA. Horváth, M. Telek
Place of PublicationBerlin
ISBN (Print)3-540-35362-3
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Embedding real time in stochastic process algebras'. Together they form a unique fingerprint.

Cite this