Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

EPEW
2006
Springer

favoriteEmaildiscussreport

145views Internet Technology» more EPEW 2006»

Embedding Real Time in Stochastic Process Algebras

13 years 6 months ago

Embedding Real Time in Stochastic Process Algebras

Download alexandria.tue.nl

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. Keywords. Stochastic delay, weak choice, race condition, real-time and stochastic process algebra.

Jasen Markovski, Erik P. de Vink

Real-time Traffic

EPEW 2006 | Internet Technology | Stochastic Delay | Stochastic Process Algebra | Weak Choice |

claim paper

Related Content

» Specification and Analysis of Soft RealTime Systems Quantity and Quality

» A Framework for Embedded RealTime System Design

» The RealTime Process Algebra RTPA

» A Stochastic Framework for Multiprocessor Soft RealTime Scheduling

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

» Process Algebras for Quantitative Analysis

» Process Algebra and Markov Chains

» StateAware Performance Analysis with eXtended Stochastic Probes

» A Matrixbased Method for Analysing Stochastic Process Algebras

Post Info
More Details (n/a)

Added	14 Oct 2010
Updated	14 Oct 2010
Type	Conference
Year	2006
Where	EPEW
Authors	Jasen Markovski, Erik P. de Vink

Comments (0)