Real-time process algebra with stochastic delays

J. Markovski, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic
Place of PublicationPiscataway NJ
PublisherInstitute of Electrical and Electronics Engineers
Pages177-186
ISBN (Print)978-0-7695-2902-8
DOIs
Publication statusPublished - 2007
Event7th International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia
Duration: 10 Jul 200713 Jul 2007
Conference number: 7

Conference

Conference7th International Conference on Application of Concurrency to System Design (ACSD 2007)
Abbreviated titleACSD 2007
Country/TerritorySlovakia
CityBratislava
Period10/07/0713/07/07

Fingerprint

Dive into the research topics of 'Real-time process algebra with stochastic delays'. Together they form a unique fingerprint.

Cite this