msc03b70中最近的zbMATH文章 https://zbmath.org/atom/cc/03B70 2021-09-16T13:13:31.966056Z 韦克泽格 具有算术约束的Mu演算可满足性 https://zbmath.org/1467.68087 2021-09-16T13:13:31.966056Z “利蒙,Y” https://zbmath.org/authors/?q=ai:limon.y “巴尔塞纳斯,E” https://zbmath.org/authors/?q=ai:barcenas.everardo “贝尼特斯·格雷罗,E” https://zbmath.org/authors/?q=ai:贝尼特斯-格雷罗·埃德加 “卡斯蒂略,G.莫莱罗” https://zbmath.org/authors/?q=ai:castillo.g-莫莱罗 “韦拉茨奎兹梅纳,A” https://zbmath.org/authors/?q=ai:velazquez-中东和北非 摘要:命题模态演算是一种著名的标记转换系统规范语言。在这项工作中,我们研究了这个逻辑的一个扩展,在树模型上解释了逆模式和preburger算法约束。我们描述了一种基于宽度优先的Fischer-Ladner模型的可满足性算法。文中还介绍了一种实现方法和几个实验。此外,我们还描述了该算法在解决半结构化数据静态分析问题中的应用。 线性时间分支时间谱的博弈 https://zbmath.org/1467.68129 2021-09-16T13:13:31.966056Z “比斯平,本杰明” https://zbmath.org/authors/?q=ai:bisping.benjamin “内斯特曼,乌韦” https://zbmath.org/authors/?q=ai:nestmann.uwe 摘要:我们介绍了一个互模拟对策的推广,可以用来寻找两个比较有限状态过程的所有相关的可区别的Hennessy-Milner逻辑公式。通过测量表达能力的使用,我们对公式生成进行了调整,使之仅从线性时间分支时间谱中得出属于最粗糙的区分行为前序/等价物的公式。该算法可以确定一对过程的(in)等价的最佳拟合。整个系列见[Zbl 1466.68015]。 随机关系预测与语境动态逻辑 https://zbmath.org/1467.68131 2021-09-16T13:13:31.966056Z “岸田,小井” https://zbmath.org/authors/?q=ai:kishida.kohei 总结:Presheaf模型提供了一个标记的转换系统的公式,它对并行计算建模非常有用。本文的目的是进一步扩展这类模型来表示量子系统中的随机动力学。在回顾了preheaf模型所代表的内容以及它们上的某些操作意味着什么,比如内部和外部的选择、系统的组成等等,我将展示如何通过将这些模型和思想与其他范畴理论方法中的思想相结合来扩展这些模型和思想[\texttit{C.Hermida},Inf.Comput.209,No.121505--1517(2011;Zbl 1248.03084)]以及随机过程。结果是,我的扩展得到了层理论结构的一个过渡性公式\textti{S.Abramsky}和\textti{A.Brandenburger}[新杂志Phys.13,第11期,文章编号113036,39 p.(2011;Zbl 1448.81028)]提出了非地域性和语境性的特征。然后,根据我提出的模型的动态模态逻辑,给出语境的另一个表征。整个系列见[Zbl 1434.03010]。 无限网络、停止和局部算法 https://zbmath.org/1467.68206 2021-09-16T13:13:31.966056Z “库西托,安蒂” https://zbmath.org/authors/?q=ai:kuusisto.antti 摘要:在最近的一段时间里,人们对局部算法的兴趣与日俱增,即恒定时间分布算法。在最近一次关于这个话题的调查中[\texttit{J.Suomela},ACM Comput.Surv.45,第2期,论文编号12,40 p.(2013;Zbl 1293.68306)],局部算法提供了一个自然的框架,可以用来在有限时间内理论上控制无限网络。我们研究了分布式计算模型的综合集合,证明了如果在所研究的结构类中包含无限网络,那么每个普遍停止的分布式算法实际上都是一个局部算法。为了对比这一结果,我们表明,如果只允许有限网络,那么即使非常弱的分布式计算模型也可以定义在任何地方都停止的非局部算法。本文的研究延续了年开始的逻辑与分布式计算交叉的研究[\textti{L.Hella}等人,载:第31届ACM分布式计算原理研讨会论文集,PODC'12.纽约:计算机械协会(ACM)。185--194(2012;Zbl 1301.68120);Distrib.Comput.28,No.1,31--53(2015;Zbl 1322.68075);作者,LIPIcs-Leibniz Int.Proc.Inform.23452-468(2013;Zbl 1356.68154)]。整个系列见[Zbl 1435.68038]。