DocumentCode
3107345
Title
Real-Time Process Algebra with Stochastic Delays
Author
Markovski, Jasen ; de Vink, E.P.
Author_Institution
Tech. Univ. Eindhoven, Eindhoven
fYear
2007
fDate
10-13 July 2007
Firstpage
177
Lastpage
186
Abstract
A real-time process algebra is presented that features stochastic delays governed by general distributions. In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished. This enables an expansion law for the parallel operator, as well as modular process definitions. The interplay of real-time, stochastic delays and immediate actions is illustrated by a modeling of the G/G/1/infin queue.
Keywords
delays; process algebra; real-time systems; stochastic processes; modular process definitions; parallel composition; parallel operator; real-time interplay; real-time process algebra; stochastic delays; Algebra; Automata; Clocks; Delay effects; Exponential distribution; Protocols; Random variables; Stochastic processes; Stochastic systems; Streaming media;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location
Bratislava
ISSN
1550-4808
Print_ISBN
0-7695-2902-X
Type
conf
DOI
10.1109/ACSD.2007.23
Filename
4276277
Link To Document