3号
速度上的相互模拟：较低的时间界限
RAIRO：《理论信息学与应用——信息技术与应用》，Tome 39（2005）第3期，第587-618页。

十多年前，Moller和Tofts发表了他们关于相关过程的开创性工作，这些工作在速度方面有较低的时间界限。他们的论文留下了许多关于基于互模拟的比前序更快的语义学理论的问题，即MT-前序，自那时以来一直没有得到解决。遇到的困难涉及一般的组合结果、有限过程的完整公理系统、MT序的令人信服的直观证明以及内部计算的抽象。本文通过开发和使用一个新的交换引理来解决这些困难，该引理与离散时间进程代数中的动作和时钟转移的顺序相关。最重要的是，证明了对于使用简单记账机制来决定一个过程是否比另一个过程快的自然摊销预订单，MT-预订单是完全抽象的。这些结果共同揭示了MT-序作为一种快于关系的直观根源，同时也证明了它的语义优雅。这消除了迄今为止阻碍语义理论在比较过程速度方面取得进展的一些障碍。

内政部：10.1051/ita:2005030
分类：68问题85
主题类别：异步系统、定时进程代数、较低的时间界限、快于关系、Moller-Tofts预序、互模拟 
@第{ITA_2005__39_3_587_0条，author={L“uttgen，Gerald and Vogler，Walter}，title={速度双向模拟：时间下限}，journal={RAIRO-理论信息学与应用-信息技术与应用}，页码={587--618}，发布者＝{EDP科学}，体积＝{39}，数字={3}，年份={2005}，doi={10.1051/ita:2005030}，mrnumber={2157048}，zbl={1077.68064}，语言={en}，url={http://www.numdam.org/articles/10.1051/ita:2005030/}}
TY-JOUR公司杰拉尔德·卢特根澳大利亚-沃尔特·福格勒TI-速度互模拟：时间下限JO-RAIRO-理论信息学与应用-信息技术与应用2005年上半年SP-587型欧洲药典-618VL-39IS-3标准PB-EDP-科学UR-（欧元）http://www.numdam.org/articles/10.1051/ita:2005030/DO-10.1051/ita:2005030LA-英语ID-ITA_2005__39_3_587_0呃-
%0期刊文章%A Lüttgen，杰拉尔德%沃特尔·福格勒%速度上的T双模拟：较低的时间界限%J RAIRO-理论信息学与应用-信息技术与应用%D 2005年%电话587-618%39伏%编号3%I EDP-科学%单位http://www.numdam.org/articles/10.1051/ita:2005030/%10.1051/ita:2005030兰特%G en公司%对于ITA_2005__39_3_587_0
吕特根，杰拉尔德；沃尔特·福格勒。速度上的相互模拟：较低的时间界限。RAIRO：《理论信息学与应用——信息技术与应用》，Tome 39（2005）第3期，第587-618页。doi:10.1051/ita:2005030。http://www.numdam.org/articles/10.1051/ita:2005030/

[1]L.丙酮,A.Ingólfsdóttir公司,M.L.佩德森、和J.鲍尔森,时间自动机的特征公式.RAIRO-Theor公司。通知。应用。34(2000) 565-584.|Numdam编号|兹布尔

[2]丙酮乳杆菌和D.墨菲,过程代数中的时间和因果关系.Acta Inform公司。33(1996) 317-350.|兹布尔

[3]R.Alur公司和D.迪尔,时间自动机理论.TCS（牵引力控制系统）126(1994) 183-235.|兹布尔

[4]S.Arun-Kumar公司和M.C.B.轩尼诗,流程的效率预购.Acta Inform公司。29(1992) 737-760.|兹布尔

[5]S.Arun-Kumar公司和V.纳塔拉詹,一致性：接近双相似性的先验，在STRICT’95，Comp.车间。，Springer-Verlag（1995）55-68。

[6]E.巴杜埃尔和P.达伦多,关于保护递归.TCS（牵引力控制系统）82(1991) 403-408.|兹布尔

[7]J.C.M.巴顿和Middelburg公司,带定时的进程代数：实时和离散时间，见Bergstra等人[8]，第10章，627-684。|兹布尔

[8]J.A.伯格斯特拉,A.蓬塞和S.A.Smolka公司，编辑，过程代数手册爱思唯尔科学（2001）。|先生|兹布尔

[9]R.克利夫兰,G.Lüttgen和M.Mendler先生,多时钟的代数理论，在CONCUR'97，施普林格出版社。莱克特。注释计算。科学。1243(1997) 166-180.

[10]R.克利夫兰和S.西姆斯,NCSU并发工作台1996年，斯普林格·弗拉格CAV。莱克特。注释计算。科学。1102(1996) 394-397.

[11]F.科拉迪尼,R.戈里埃里、和M.罗切蒂,性能预购和竞争等价性.Acta Inform公司。34(1997) 805-835.|兹布尔

[12]F.科拉迪尼,W.福格勒和L.詹纳,比较异步系统与PAFAS的最坏情况效率.Acta Inform公司。38(2002) 735-792.|兹布尔

[13]R.德尼古拉和M.C.B.轩尼诗,测试过程的等效性.TCS（牵引力控制系统）34(1984) 83-133.|兹布尔

[14]R.戈里埃里,M.罗切蒂和E.斯坦坎皮亚诺,具有持续作用的过程理论.TCS（牵引力控制系统）140(1995) 73-94.|兹布尔

[15]M.C.B.轩尼诗和T.里根,定时系统的进程代数.通知。公司。117(1995) 221-239.|兹布尔

[16]C.A.R.霍尔,通信顺序过程普伦蒂斯·霍尔（1985）。|先生|兹布尔

[17]L.詹纳和W.福格勒,比较异步系统的效率《99年艺术》，斯普林格·弗拉格。莱克特。注释计算。科学。1601(1999) 172-191.

[18]L.詹纳和W.福格勒,密集时间内的快速异步系统.TCS（牵引力控制系统）254(2001) 379-422.|兹布尔

[19]G.Lüttgen和W.福格勒,速度上的相互模拟：时间下限，收录于FOSSACS 2004，Springer-Verlag。莱克特。注释计算。科学。(2004).|先生|兹布尔

[20]R.米尔纳,沟通与并发普伦蒂斯·霍尔（1989）。|兹布尔

[21]F.莫勒和C.脚趾,通信系统的时间演算1990年，斯普林格·弗拉格。莱克特。注释计算。科学。458(1990) 401-415.

[22]F.莫勒和C.托夫茨,关于速度的相关过程1991年，斯普林格·弗拉格，CONCUR。莱克特。注释计算。科学。527(1991) 424-438.

[23]V.纳塔拉扬和R.克利夫兰,过程效率的代数理论，载于LICS’96，IEEE，计算机社会出版社（1996）63-72。

[24]S.施耐德,定时CSP的操作语义.通知。公司。116(1995) 193-213.|兹布尔

[25]W.福格勒,更快的异步系统.通知。计算。184(2003) 311-342.|兹布尔

Citépar公司资料来源：