Real-Time Process Algebra with Stochastic Delays

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J. Markovski Articles by E. P. de Vink

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

Bratislava, Slovak Republic

July 10-July 13

ISBN: 0-7695-2902-X

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.61

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.