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 language | English |
---|---|
Title of host publication | Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic |
Place of Publication | Piscataway NJ |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 177-186 |
ISBN (Print) | 978-0-7695-2902-8 |
DOIs | |
Publication status | Published - 2007 |
Event | 7th International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia Duration: 10 Jul 2007 → 13 Jul 2007 Conference number: 7 |
Conference
Conference | 7th International Conference on Application of Concurrency to System Design (ACSD 2007) |
---|---|
Abbreviated title | ACSD 2007 |
Country/Territory | Slovakia |
City | Bratislava |
Period | 10/07/07 → 13/07/07 |