×
詹纳，L。;沃格勒，W。

密集时间内的快速异步系统。 （英语） Zbl 0974.68128号

西奥。计算。科学。 254，第1-2号，379-422（2001）.
开发了De Nicola和Hennessy意义上的测试场景，以使用密集时间测量异步系统的最坏情况效率。对于所考虑的所有三个变量，可以等效地使用离散时间；在离散版本中，一个变量与基于离散时间的方法一致W.福格勒[CONCUR95，Lect.Notes Compute.Sci.962，299-312（1995）]，因此我们可以澄清此方法背后的假设。由此产生的测试预订单具有某种拒绝痕迹的特征，并被证明满足一些特性，这些特性使它们比关系更快地具有吸引力。这三个测试预订单在一般情况下是不可比较的，但对于一些有趣的系统类别来说，它们的含义是显而易见的。

引用于1审查
引用于9文件

MSC公司：

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

关键词：

异步系统;效率;离散化;测试;Petri网
PDF格式BibTeX公司 XML格式引用
\textit{L.Jenner}和\textit{W.Vogler}，Theor。计算。科学。254，编号1--2，379--422（2001；Zbl 0974.68128）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Dill，D.，《时间自动机理论》，Theoret。计算。科学，126183-235（1994）·Zbl 0803.68071号
[2] Arun-Kumar，S。；Hennessy，M.，《流程效率预购》，《信息学报》，29737-760（1992）·Zbl 0790.68039号
[3] Arun-Kumar，S。；Natarajan，V.，Conformencea precurrence close to bisimilarity，（Desel，J.，Structures in Concurrency Theory，Workshop in Computing（1995），施普林格：施普林格-柏林），55-68
[4] 克里维兰，R。；Zwarico，A.，《实时测试理论》（Proc.6th Symp.on Logic in Computer Science（1991），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），110-119
[5] Corradini，F。；Gorrieri，R。；Roccetti，M.，《绩效预购与竞争对等》，《信息学报》，34，11，805-835（1997）·Zbl 0878.68081号
[6] 德尼古拉，R。；Hennessy，M.C.B.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[7] 轩尼诗，M。；Regan，T.，《定时系统的进程代数》，Inform。计算。，117, 221-239 (1995) ·Zbl 0826.68068号
[8] L.Jenner，《快速异步系统的模块化结构》，《1996-2年技术报告》，奥格斯堡大学Informatik研究所，1996年。；L.Jenner，《快速异步系统的模块化结构》，《1996-2年技术报告》，奥格斯堡大学Informatik研究所，1996年·Zbl 1046.68623号
[9] L.Jenner，W.Vogler，《密集时间内的快速异步系统》，第344号技术报告，奥格斯堡大学Mathematik研究所，1995年。；L.Jenner，W.Vogler，《密集时间内的快速异步系统》，《第344号技术报告》，奥格斯堡大学Mathematik研究所，1995年·Zbl 1046.68623号
[10] N.Lynch，分布式算法，Morgan Kaufmann出版社，旧金山，1996年。；N.Lynch，《分布式算法》，摩根考夫曼出版社，旧金山，1996年·兹比尔0877.68061
[11] 林奇，N。；Fischer，M.，《关于描述分布式系统的行为和实现》，Theoret。计算。科学。，13, 17-43 (1981) ·Zbl 0441.68020号
[12] 林奇，N。；Vaandrager，F.，《正向和反向模拟I：未定时系统》，Inform。计算。，121, 214-233 (1995) ·兹伯利0834.68123
[13] 莫勒，F。；Tofts，C.，《关于速度的关联过程》（Baeten，J.；Groote，J.，CONCUR’91，《计算机科学讲义》，第527卷（1991），《施普林格：施普林格柏林》），424-438
[14] Peterson，J.L.，《Petri网理论》（1981年），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯》，新泽西州·Zbl 0461.68059号
[15] G.Peterson，M.Fischer，《分布式系统中关键部分问题的经济解决方案》，第九届ACM Symp。《计算理论》，科罗拉多州博尔德，1977年，第91-97页。；G.Peterson，M.Fischer，《分布式系统中关键部分问题的经济解决方案》，第九届ACM Symp。《计算理论》，科罗拉多州博尔德市，1977年，第91-97页。
[16] 菲利普斯，I.，拒绝测试，理论。计算。科学。，50, 241-284 (1987) ·Zbl 0626.68011号
[17] Popova，L.，《准时Petri网》，J.Inform。过程。赛博。EIK，27，227-244（1991）·Zbl 0731.68082号
[18] W.Reisig，Petri Nets。EATCS理论计算机科学专著4，施普林格，柏林，1985。；W.Reisig，Petri Nets。EATCS理论计算机科学专著4，施普林格，柏林，1985年·Zbl 0555.68033号
[19] 沃格勒（W.Vogler），Petri网的模块化构造和偏序语义，讲义汇编。科学。，第625卷，施普林格出版社，柏林，1992年。；沃格勒（W.Vogler），Petri网的模块化构造和偏序语义，讲义汇编。科学。，第625卷，施普林格出版社，柏林，1992年·Zbl 1293.68015号
[20] Vogler，W.，并发系统的定时测试，Inform。和计算。，121, 149-171 (1995) ·Zbl 0833.68048号
[21] W.Vogler，《更快的异步系统》，收录于：I.Lee，S.Smolka（编辑），CONCUR’95，演讲笔记Comp。科学。，第962卷，施普林格，柏林，1995年，第299-312页。完整版本为第317号报告，奥格斯堡大学Mathematik研究所，1995年。；W.Vogler，《更快的异步系统》，收录于：I.Lee，S.Smolka（编辑），CONCUR’95，演讲笔记Comp。科学。，第962卷，施普林格，柏林，1995年，第299-312页。完整版本为第317号报告，奥格斯堡大学Mathematik研究所，1995年。
[22] W.Vogler，异步系统的效率和Petri网中的读弧。in：P.Degano，R.Gorrieri，A.Marchetti-Spaccamela（编辑），ICALP 97，演讲笔记Comp。科学。，第1256卷，施普林格出版社，柏林，1997年，第538-548页。完整版，技术报告第352号，奥格斯堡大学Mathematik研究所，1996年。；W.Vogler，Petri网中异步系统和读取弧的效率。in：P.Degano，R.Gorrieri，A.Marchetti-Spaccamela（编辑），ICALP 97，演讲笔记Comp。科学。，第1256卷，施普林格出版社，柏林，1997年，第538-548页。完整版本为技术报告第352号，Mathematik研究所，奥格斯堡大学，1996年·Zbl 1401.68235号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。