Extending timed process algebra with discrete stochastic time

J. Markovski, E.P. Vink, de

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

6 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings)
EditorsJ. Meseguer, G. Rosu
Place of PublicationBerlin
PublisherSpringer
Pages268-283
ISBN (Print)978-4-540-79979-5
DOIs
Publication statusPublished - 2008

Publication series

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

Fingerprint Dive into the research topics of 'Extending timed process algebra with discrete stochastic time'. Together they form a unique fingerprint.

Cite this