具有随机延迟的实时过程代数

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) Pub Date : 2007-07-10 DOI:10.1109/ACSD.2007.61

J. Markovski, E. Vink

{"title":"具有随机延迟的实时过程代数","authors":"J. Markovski, E. Vink","doi":"10.1109/ACSD.2007.61","DOIUrl":null,"url":null,"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.","PeriodicalId":323657,"journal":{"name":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)","volume":"33 7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Real-Time Process Algebra with Stochastic Delays\",\"authors\":\"J. Markovski, E. Vink\",\"doi\":\"10.1109/ACSD.2007.61\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":323657,\"journal\":{\"name\":\"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)\",\"volume\":\"33 7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2007.61\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2007.61","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

提出了一种具有一般分布下随机延迟特征的实时过程代数。在弱选择条件下，区分独立、依赖、交替和平行组合。这使得并行运算符的展开律以及模块化过程定义成为可能。通过对G/G/1/infin队列的建模，说明了实时、随机延迟和即时动作的相互作用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Real-Time Process Algebra with Stochastic Delays

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量