Title :
Real-Time Process Algebra with Stochastic Delays
Author :
Markovski, Jasen ; de Vink, E.P.
Author_Institution :
Tech. Univ. Eindhoven, Eindhoven
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;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.23
