伊恩·菲利普斯;伊雷克·乌利多夫斯基 事件结构中的可逆性和不对称冲突。 （英语） Zbl 1330.68213号 J.日志。阿尔盖布。方法计划。 84，第6期，781-805（2015）. 摘要：近年来，可逆计算在硬件、软件和生物化学方面的应用引起了人们越来越多的兴趣。我们介绍了素数事件结构和非对称事件结构的可逆形式。为了控制事件反转的方式，我们在事件上使用非对称冲突。我们证明了关于可达配置的一些结果；例如，我们证明了在什么条件下，有限的可达构形可以通过纯有限方法达到。我们通过例子讨论了因果顺序的反转，即事件只有在其引起的所有事件都被反转后才能反转，以及非因果反转的形式。 引用于1审查引用于20文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：可逆计算;事件结构;非对称冲突 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski}，J.Log。阿尔盖布。方法计划。84，第6号，781--805（2015；Zbl 1330.68213） 全文： DOI程序 参考文献： [1] 巴尔丹，P。；Corradini，A。；Montanari，U.，上下文Petri网，不对称事件结构和过程，信息计算。，171, 1, 1-49 (2001) ·Zbl 1005.68103号 [2] 巴尔丹，P。；Crafa，S.，《真正并发的逻辑》，（《第21届并发理论国际会议论文集》，第21届国际并发理论会议论文集，CONCUR 2010。第21届并行理论国际会议论文集。《第21届并行理论国际会议论文集》，CONCUR 2010，Lect。票据计算。科学。，第6269卷（2010），斯普林格·弗拉格），147-161·Zbl 1287.68120号 [3] Berry，G。；Boudol，G.，《化学文摘机》，Theor。计算。科学。，96, 1, 217-248 (1992) ·Zbl 0747.68013号 [4] 布多尔，G。；Castellani，I.，《转换的排列：CCS和SCCS的事件结构语义》，（逻辑和并发模型中的线性时间、分支时间和部分顺序。逻辑和并发模式中的线性时、分支时间与部分顺序，Lect.Notes Compute Sci.，第354卷（1989年），Springer-Verlag），411-427·Zbl 0683.68029号 [5] Cardelli，L。；Laneve，C.，可逆结构，（第九届系统生物学计算方法国际会议论文集（2011），ACM），131-140 [6] Danos，V。；Krivine，J.，《可逆通信系统》，（第15届并行理论国际会议论文集，第15届并发理论国际会议文献集，CONCUR 2004）。第十五届并行理论国际会议论文集。第十五届并行理论国际会议论文集，CONCUR 2004，Lect。票据计算。科学。，第3170卷（2004），施普林格·弗拉格），292-307·Zbl 1099.68066号 [7] Danos，V。；Krivine，J.，《RCCS中的交易》，（《第16届并行理论国际会议论文集》，第16届并发理论国际会议文献集，CONCUR 2005。第十六届并行理论国际会议论文集。第16届并行理论国际会议论文集，CONCUR 2005，Lect。票据计算。科学。，第3653卷（2005），施普林格·弗拉格），398-412·Zbl 1134.68432号 [8] Danos，V。；Krivine，J。；索波辛斯基，P.，《一般可逆性》，电子。注释Theor。计算。科学。，175, 3, 75-86 (2007) ·Zbl 1277.68175号 [9] 范·格拉贝克，R。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 4/5, 229-327 (2001) ·Zbl 0969.68081号 [10] van Glabbeek，R.（范·格拉贝克，R.）。；Plotkin，G.，配置结构、事件结构和Petri网，Theor。计算。科学。，410, 41, 4111-4159 (2009) ·Zbl 1187.68329号 [11] 拉内斯，我。；Lienhardt，M。；梅齐纳，C。；施密特，A。；Stefani，J.-B.，并发柔性可逆性，（第22届欧洲编程研讨会论文集，第22届欧盟编程研讨会论文集中，2013年ESOP。第22届欧洲编程研讨会会议记录。第22届欧洲规划研讨会论文集，ESOP 2013，Lect。票据计算。科学。，第7792卷（2013），施普林格-弗拉格），370-390·Zbl 1381.68210号 [12] 拉内斯，我。；梅齐纳，C。；施密特，A。；Stefani，J.-B.，《控制高阶π的可逆性》，（第22届并行理论国际会议论文集，第22届并发理论国际会议文献集，CONCUR 2011。第22届并行理论国际会议论文集。第22届并行理论国际会议论文集，CONCUR 2011，Lect。票据计算。科学。，第6901卷（2011年），施普林格·弗拉格），297-311·Zbl 1344.68168号 [13] 拉内斯，我。；梅齐纳，C。；Stefani，J.-B.，《反转高阶pi》，（《第21届并行理论国际会议论文集》，第21届并发理论国际会议文献集，CONCUR 2010。第21届并行理论国际会议论文集。《第21届并行理论国际会议论文集》，CONCUR 2010，Lect。票据计算。科学。，第6269卷（2010），斯普林格·弗拉格），478-493·Zbl 1287.68137号 [14] Langerak，R.，LOTOS的转换和语义（1992），特温特大学，博士论文 [15] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域。第一部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号 [16] 菲利普斯一世。；Ulidowski，I.，《逆向代数过程计算》，J.Log。阿尔盖布。程序。，73, 1-2, 70-96 (2007) ·Zbl 1123.68065号 [17] 菲利普斯一世。；Ulidowski，I.，关于稳定构型结构的反向互模拟层次，数学。结构。计算。科学。，22333-372（2012年）·Zbl 1238.68102号 [18] 菲利普斯一世。；Ulidowski，I.，《事件结构中的可逆性和不对称冲突》，（第24届并发理论国际会议论文集，第24届并行理论国际会议文献集，CONCUR 2013）。第24届并行理论国际会议论文集。第24届并行理论国际会议论文集，CONCUR 2013，Lect。票据计算。科学。，第8052卷（2013），斯普林格·弗拉格），303-318·Zbl 1390.68486号 [19] 菲利普斯一世。；Ulidowski，I.，事件标识符逻辑，数学。结构。计算。科学。，24，e240204（2014）·Zbl 1342.68240号 [20] 菲利普斯一世。；乌利多夫斯基，I。；Yuen，S.，《可逆过程演算和ERK信号通路建模》，（可逆计算，可逆计算，RC 2012）。可逆计算。可逆计算，RC 2012，Lect。票据计算。科学。，第7581卷（2013），斯普林格·弗拉格），218-232·Zbl 1451.68124号 [21] 菲利普斯一世。；乌利多夫斯基，I。；Yuen，S.，《过程和事件的键合建模》，（《第五届可逆计算国际会议论文集》，第五届国际可逆计算会议论文集，RC 2013。第五届可逆计算国际会议记录。《第五届可逆计算国际会议论文集》，RC 2013，Lect。票据计算。科学。，第7948卷（2013年），斯普林格-Verlag），141-154·Zbl 1406.68029号 [22] Pinna，G。；Poigné，A.，《关于事件的性质》，（第17届计算机科学数学基础国际研讨会论文集，第17届国际计算机科学数学基会论文集，MFCS’92。第17届计算机科学数学基础国际研讨会论文集。第17届计算机科学数学基础国际研讨会论文集，MFCS’92，Lect。票据计算。科学。，第629卷（1992），斯普林格·弗拉格），430-441·Zbl 1493.68253号 [23] Ubersax，J。；Ferrell，J.，《蛋白质磷酸化的特异性机制》，《分子细胞生物学》。，8, 530-541 (2007) [24] 乌利多夫斯基，I。；菲利普斯，I。；Yuen，S.，《并发性和可逆性》，（《第六届可逆计算国际会议论文集》，第六届国际可逆计算会议论文集，RC 2014。第六届可逆计算国际会议论文集。《第六届可逆计算国际会议论文集》，RC 2014，Lect。票据计算。科学。，第8507卷（2014年），施普林格出版社，1-14·Zbl 1416.68124号 [25] Winskel，G.，《事件结构》（《Petri网进展》，1986年）。Petri网进展，1986年，Lect。票据计算。科学。，第255卷（1987），施普林格·弗拉格），325-392·Zbl 0626.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。