×
贾森·马尔科夫斯基;埃里克·P·德文克。

用离散随机时间扩展时间进程代数。 （英语） Zbl 1170.68542号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。《计算机科学讲义》5140268-283（2008）。
摘要：当用离散随机时间扩展时间进程代数时，在竞争条件下很难保持时间可加性等典型的标准概念。我们提出上下文敏感插值作为时间可加性的一种限制形式，以适应随机时间的扩展。我们还提出了一个随机过程代数，它以条件随机变量的形式显式地描述了两种竞争条件。该方法支持组合建模、非平凡的扩展定律和最大进度的显式操作。
有关整个系列，请参见[Zbl 1154.68019号].

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

MoDeST公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Markovski}和\textit{E.P.de Vink}，莱克特。注释计算。科学。5140268--283（2008年；Zbl 1170.68542）
全文： 内政部

参考文献：

[1] 尼克林，X。；Sifakis，J。；惠泽，C。；de Bakker，J.W。；Rozenberg，G。；de Roever，W.-P.，《时间过程代数的概述与综合》，《实时：实践中的理论》，526-548（1992），海德堡：斯普林格出版社·doi:10.1007/BFb0032006
[2] Hermanns，H.，Mertsiotakis，V.，Rettelbach，M.：使用TIPP的分布式系统性能分析。In：程序。UKPEW 1994，第131-144页（1994）
[3] Bravetti，M.、Bernardo，M.和Gorrieri，R.：从EMPA到GSMPA：允许一般分配。In：程序。PAPM 1997，第17-33页（1997）
[4] D’Argenio，P。；Katoen，J.P.，《随机系统理论》，第二部分：过程代数、信息与计算，203，1，39-74（2005）·兹比尔1106.68073 ·doi:10.1016/j.ic.2005.07.002
[5] Bravetti，M.：随机实时系统的规范和分析。博洛尼亚大学博士论文（2002年）·Zbl 1065.68581号
[6] 洛佩斯，N。；Nüñez，M.，NMSPA:随机过程的非马尔科夫模型，Proc。ICDS 2000，33-40（2000），洛斯阿拉米托斯：IEEE，洛斯阿尔米托斯
[7] Bohnenkamp，H。；D’Argenio，P。；Hermanns，H。；Katoen，J.-P.，MODEST:硬时间和软时间系统的组合建模形式，IEEE软件工程学报，32812-830（2006）·doi:10.1109/TSE.2006.104
[8] Katoen，J.P。；D’Argenio，P.R。；Brinksma，E。；Hermanns，H。；Katoen，J.-P.，过程代数中的一般分布，形式方法和性能分析讲座，375-429（2001），海德堡：施普林格·Zbl 0990.68091号 ·doi:10.1007/3-540-44667-2_11
[9] D’Argenio，P.：从随机自动机到时间自动机：以合成的方式抽象概率。In：程序。WAIT 2003（2003）
[10] 马尔科夫斯基，J。；德文克，E.P。；Horváth，A。；Telek，M.，《在随机过程代数中嵌入实时性，用于性能评估的形式化方法和随机模型》，47-62（2006），海德堡：斯普林格·Zbl 1185.68449号 ·数字对象标识代码：10.1007/117778304
[11] 马可夫斯基，J。；de Vink，E.-P.，具有随机延迟的实时过程代数，Proc。ACSD 2007，177-186（2007），洛斯阿拉米托斯：IEEE计算机社会出版社，洛斯阿尔米托斯
[12] Markovski，J.，de Vink，E.：分布式系统性能分析的离散实时和随机时间进程代数。In：程序。ACSD 2008（将于2008年出版）·兹比尔1170.68542
[13] 卡塔尼，S。；塞加拉，R。；Kwiatkowska，M。；诺曼，G。；Sassone，V.，连续状态空间和非确定性的随机转换系统，软件科学和计算结构基础，125-139（2005），海德堡：斯普林格·Zbl 1118.68568号
[14] Markovski，J.，de Vink，E.P.：分布式系统性能分析的离散实时和随机时间进程代数。埃因霍温理工大学技术报告CS 08/10（2008）·Zbl 1170.68542号
[15] D’Argenio，P。；Katoen，J.P.，随机系统理论，第一部分：随机自动机，信息与计算，203，1，1-38（2005）·Zbl 1105.68061号 ·doi:10.1016/j.ic.2005.07.001
[16] Howard，R.，《动态概率系统》（1971），奇切斯特：威利·Zbl 0227.90031
[17] Baeten，J。；Middelburg，C.，《带时间的过程代数》（2002），海德堡：斯普林格·Zbl 1021.68063号
[18] 洛佩斯，N。；努涅斯，M。；Van Hung，D。；Wirsing，M.，《非马尔可夫过程的弱随机互模拟》，计算的理论方面——ICTAC 2005，454-468（2005），海德堡：斯普林格，海德伯格·兹比尔1169.68548 ·doi:10.1007/11560647_30
[19] van Niftrik，W.：上下文相关插值。埃因霍温理工大学硕士论文（进行中，2008年）
[20] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《论库门公平抽象规则的一致性》，《理论计算机科学》，51,1129-176（1987）·Zbl 0621.68010号 ·doi:10.1016/0304-3975（87）90052-1
[21] 布拉维蒂，M。；D’Argenio，P。；拜尔，C。；B.R.Haverkort。；Hermanns，H。；Katoen，J.-P。；Siegle，M.，Tutte le algebre insieme–具有一般分布的随机过程代数的概念、讨论和关系，随机系统的验证，44-88（2004），海德堡：施普林格，海德堡·Zbl 1203.68113号
[22] 布莱恩斯，J。；鲍曼，H。；Derrick，J.，模型检验随机自动机，ACM计算逻辑事务，4，4，452-492（2003）·Zbl 1365.68316号 ·数字对象标识代码：10.1145/93755.937558
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。