loading...
Real-Time Process Algebra with Stochastic Delays
Bratislava, Slovak Republic July 10-July 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.61Seventh International Conference on A ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
J. Markovski, E. P. de Vink, "Real-Time Process Algebra with Stochastic Delays," Application of Concurrency to System Design, International Conference on, pp. 177-186, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2007.61,
author = {J. Markovski and E. P. de Vink},
title = {Real-Time Process Algebra with Stochastic Delays},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2007},
issn = {1550-4808},
pages = {177-186},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.61},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Real-Time Process Algebra with Stochastic Delays
SN - 1550-4808
SP177
EP186
A1 - J. Markovski,
A1 - E. P. de Vink,
PY - 2007
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
J. Markovski, Technische Universiteit Eindhoven, the Netherlands
E. P. de Vink, Technische Universiteit Eindhoven, the Netherlands
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/\infty queue.
Citation:
J. Markovski, E. P. de Vink, "Real-Time Process Algebra with Stochastic Delays," acsd, pp.177-186, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.