速度上的相互模拟：时间下限

杰拉尔德·吕特根;沃尔特·福格勒

RAIRO-理论信息学与应用(2010)

  • 第39卷，第3期，第587-618页
  • 国际标准编号：0988-3754

摘要

顶部
十多年前，莫勒和托夫茨出版了他们的开创性著作进行相关流程的工作，这些流程的注释时间较短速度方面的边界。他们的论文留下了许多空白关于建议的语义理论的问题基于互模拟的比预订单更快的MT-预订单从那以后就没有被提及过。遇到的困难一个一般的组合结果，一个完整的公理系统有限过程，令人信服的直观证明MT-序列，以及内部计算的抽象。本文通过开发和使用关于动作序列和时钟序列的新交换引理离散时间过程代数中的转换。最重要的是，它证明了MT-序对于使用简单记账机制的自然摊销预订单决定一个进程是否比另一个快。一起这些结果揭示了MT-序作为快于关系，同时证明其语义优雅。这消除了迄今为止阻碍进展的一些障碍在语义理论中用于比较进程的速度。

如何引用

顶部

杰拉尔德·吕特根和沃尔特·福格勒。“速度上的相互模拟：时间下限。”RAIRO-理论信息学与应用39.3 (2010): 587-618. <http://eudml.org/doc/92779>.

@文章{Lüttgen2010，
抽象={十多年前，莫勒和托夫茨出版了他们的开创性著作进行相关流程的工作，这些流程的注释时间较短速度方面的边界。他们的报纸留下了许多空缺关于建议的语义理论的问题基于互模拟的比预订单更快的MT-预订单从那以后就没有被提及过。遇到的困难一个一般的组合结果，一个完整的公理系统有限过程，令人信服的直观证明MT-序列，以及内部计算的抽象。本文通过开发和使用关于动作序列和时钟序列的新交换引理离散时间过程代数中的转换。最重要的是证明了MT-序对于使用简单记账机制的自然摊销预订单决定一个进程是否比另一个快。一起这些结果揭示了MT-序作为快于关系，同时证明其语义优雅。这消除了迄今为止阻碍进展的一些障碍在语义理论中用于比较进程的速度。},
author={吕特根、杰拉尔德、福格勒、沃尔特}，
journal={RAIRO-理论信息学与应用}，
keywords={异步系统；定时进程代数；时间下限；比关系更快；Moller-Tofts预订；互模拟。；MT-订单；比预定快；公理化；前组}，
语言={eng}，
月份={3}，
数字={3}，
页码={587-618}，
publisher={EDP Sciences}，
title={速度双向模拟：时间下限}，
url={http://eudml.org/doc/92779},
体积＝{39}，
年份={2010}，
}

TY-JOUR公司
杰拉尔德·卢特根
澳大利亚-沃尔特·福格勒
TI-速度上的双模拟：较低的时间界限
JO-RAIRO-理论信息学与应用
陆军部-2010/3//
PB-EDP科学
VL-39
IS-3标准
SP-587型
欧洲药典-618
AB-公司十多年前，莫勒和托夫茨出版了他们的开创性著作进行相关流程的工作，这些流程的注释时间较短速度方面的边界。他们的报纸留下了许多空缺关于建议的语义理论的问题基于互模拟的比预订单更快的MT-预订单从那以后就没有被提及过。遇到的困难一个一般的组合结果，一个完整的公理系统有限过程，令人信服的直观证明MT-序列，以及内部计算的抽象。本文通过开发和使用关于动作序列和时钟序列的新交换引理离散时间过程代数中的转换。最重要的是，它证明了MT-序对于使用简单记账机制的自然摊销预订单决定一个进程是否比另一个快。一起这些结果揭示了MT-序作为快于关系，同时证明其语义优雅。这消除了迄今为止阻碍进展的一些障碍在比较过程速度的语义理论中。
洛杉矶-eng
KW-异步系统；时间进程代数；时间下限；快于关系；Moller-Tofts预订；互模拟。；MT-订单；比预定快；公理化；先声
UR-（欧元）http://eudml.org/doc/92779
呃-

工具书类

顶部
  1. L.Aceto、A.Ingólfsdóttir、M.L.Pedersen和J.Poulsen，《时间自动机的特征公式》。RAIRO理论。通知。申请34（2000）565-584。 
  2. L.Aceto和D.Murphy，过程代数中的时间和因果关系。Acta Inform.33（1996）317–350。 
  3. R.Alur和D.Dill，时间自动机理论。TCS126（1994）183–235。 
  4. S.Arun-Kumar和M.C.B.Hennessy，《流程的效率预购》。Acta Inform.29（1992）737–760。 
  5. S.Arun-Kumar和V.Natarajan，《一致性：一种接近于双重相似性的先兆性》，收录于1995年的《公司研讨会》。，Springer-Verlag（1995）55–68。 
  6. E.Badouel和P.Darondeau，《关于保护递归》。TCS82（1991）403–408。 
  7. J.C.M.Baeten和C.A.Middelburg，《带时间的过程代数：实时和离散时间》，Bergstra等人。[8] 第10章，627–684。 
  8. J.A.Bergstra、A.Ponse和S.A.Smolka，《过程代数手册》编辑。爱思唯尔科学（2001）。 
  9. R.Cleaveland、G.Lüttgen和M.Mendler，多时钟的代数理论，收录于CONCUR’97，Springer-Verlag。莱克特。票据计算。《科学》1243（1997）166-180。 
  10. R.Cleaveland和S.Sims，NCSU并发工作台，载于CAV’96，Springer-Verlag。莱克特。票据计算。科学1102（1996）394–397。 
  11. F.Corradini、R.Gorrieri和M.Roccetti，《绩效前序和竞争等价性》。《信息学报》34（1997）805-835。 
  12. F.Corradini、W.Vogler和L.Jenner，比较异步系统与PAFAS的最坏情况效率。Acta Inform.38（2002）735–792。 
  13. R.De Nicola和M.C.B.Hennessy，《工艺等效性测试》。TCS34（1984）83–133。 
  14. R.Gorrieri、M.Roccetti和E.Stancampiano，具有持续作用的过程理论。TCS140（1995）73–94。 
  15. M.C.B.Hennessy和T.Regan，时间系统的进程代数。通知。Comp.117（1995）221–239。 
  16. C.A.R.Hoare，通信顺序过程。普伦蒂斯·霍尔（1985）。 
  17. L.Jenner和W.Vogler，《比较异步系统的效率》，载于ARTS’99，Springer-Verlag。莱克特。票据计算。科学.1601（1999）172–191。 
  18. L.Jenner和W.Vogler，《密集时间内的快速异步系统》。TCS254（2001）379–422。 
  19. G.Lüttgen和W.Vogler，《速度的相互模拟：下限》，收录于FOSSACS 2004，Springer-Verlag。莱克特。票据计算。科学。(2004).  
  20. R.米尔纳，《沟通与并发》。普伦蒂斯·霍尔（1989）。 
  21. F.Moller和C.Tofts，通信系统的时间演算，收录于CONCUR’90，Springer-Verlag。莱克特。票据计算。科学458（1990）401-415。 
  22. F.Moller和C.Tofts，关于速度的相关过程，1991年CONCUR，Springer-Verlag。莱克特。票据计算。《科学》527（1991）424–438。 
  23. V.Natarajan和R.Cleaveland，《过程效率的代数理论》，载于LICS’96，IEEE，计算机社会出版社（1996）63-72。 
  24. S.Schneider，定时CSP的操作语义。通知。Comp.116（1995）193-213。 
  25. W.Vogler，《更快的异步系统》。通知。计算184（2003）311-342。 

要在页面上嵌入这些注释，请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少条注释。您可以使用下一个和上一个控件循环浏览其他注释。

    
                

                
注意：最佳实践建议在结束之前放置JavaScript代码</body>标签。