×
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof，Zimiañski

高维自动机语言。 （英语） Zbl 1495.68119号

数学。结构。计算。科学。 31,5号，575-613（2021）.
摘要：我们介绍了高维自动机（HDA）语言并开发了它们的一些属性。为此，我们定义了一类新的预割集，它与标准集唯一自然同构，并引入了事件一致性的概念。HDA是有限的、标记的、事件一致的立方前集合，具有不同的初始细胞和接受细胞子集。它们的语言是在包含下闭合的区间序集；作为一个主要的技术步骤，我们公开了区间阶和HDA的一个子类之间的双射。我们证明了任何有限包含闭区间序集都是HDA语言，HDA语言在二元并和并行组合下是封闭的，并且双相似性意味着语言等价。

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
18号50 简单集，简单对象
54个F05 线性序拓扑空间、广义序空间和偏序空间
70年第68季度 语言代数理论与自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

高维自动机;并发理论;绒球;有向拓扑
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，《数学》。结构。计算。科学。31，第5号，575--613（2021；Zbl 1495.68119）
全文： 内政部 arXiv公司

参考文献：

[1] Awodey，S.（2018年）。同伦类型理论的立方模型。纯粹与应用逻辑年鉴169（12）1270-1294·Zbl 1522.03038号
[2] Bednarczyk，M.A.（1987年）。异步系统的类别。英国苏塞克斯大学博士论文。
[3] Bezem，M.、Coquand，T.和Huber，S.（2013年）。立方体集合中的类型理论模型。收录：Matthes，R.和Schubert，A.（编辑）类型，第26卷。LIPIcs公司。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），107-128年·Zbl 1359.03009号
[4] Bezem，M.、Coquand，T.和Huber，S.（2019年）。立方体集合中的单价公理。《自动推理杂志》63（2）159-171·Zbl 1506.03064号
[5] 埃西克，Z.和奈梅特，Z.L.（2004）。高维自动机。《自动机、语言与组合学杂志》9（1）3-29·Zbl 1102.68059号
[6] Fahrenberg，U.（2005a）。高维自动机的互模拟。几何解释。研究报告R-2005-01，奥尔堡大学数学科学系，2005年。[Fahrenberg，2005c]的扩展版本·兹比尔1119.68126
[7] Fahrenberg，U.（2005年b）。拓扑观点下的高维自动机。丹麦奥尔堡大学博士论文·Zbl 1119.68126号
[8] Fahrenberg，U.（2005c）一类高维自动机。收录：Sassone，V.（编辑）FoSSaCS，第3441卷。计算机科学课堂讲稿。施普林格，187-201年。另见[Fahrenberg，2005a]·兹比尔1119.68126
[9] Fahrenberg，U.、Johansen，C.、Struth，G.和Thapa，R.B.（2020年）。在N.之外生成偏序集：Fahrenberg，U.，Jipsen，P.和Winter，M.（eds.）RAMiCS，第12062卷。计算机科学课堂讲稿。施普林格，82-99·Zbl 07578336号
[10] Fahrenberg，U。、Johansen，C。、Trotter，C。和Zimiañski，K。（2021年）。同时进行雕塑。计算机科学中的逻辑方法17（2）·Zbl 07350771号
[11] Fajstrup，L.（2005）。立方体复合体中的双同伦和双同伦。应用数学进展35（2）188-206·Zbl 1085.55010号
[12] Fajstrup，L.、Goubault，E.、Haucourt，E.、Mimram，S.和Raussen，M.（2016）。有向代数拓扑与并发。斯普林格，2016年·Zbl 1338.68003号
[13] Fajstrup，L.、Raussen，M.和Goubault，E。（2006年）。代数拓扑和并发。理论计算机科学357（1-3）241-278·Zbl 1099.55003号
[14] Fanchon，J.和Morin，R.（2002年）。具有自动同步功能的常规pomset集。收录于：Brim，L.、Jančar，P.、Křetínskí，M.和Kučera，A.（eds.）CONCUR，计算机科学讲义第2421卷。施普林格，402-417·Zbl 1012.68135号
[15] Fishburn，P.C.（1970年）。具有不相等无差异间隔的不及物无差异。数学心理学杂志7（1）144-149·兹比尔0191.31501
[16] Fishburn，P.C.（1985）。区间序和区间图：部分序集的研究。威利·兹伯利0551.06001
[17] Gischer，J.L.（1988）。pomsets的等式理论。理论计算机科学61199-224·Zbl 0669.68015号
[18] Grabowski，J.（1981）。关于部分语言。基础信息4（2）427·Zbl 0468.68088号
[19] 格兰迪斯，M.（2009年）。有向代数拓扑：不可逆世界的模型。新数学专著。剑桥大学出版社·Zbl 1176.55001号
[20] Grandis，M.和Mauri，L.（1990年）。立方集及其位置。范畴理论与应用11（8）185-211·Zbl 1022.18009号
[21] Herlihy，M.和Wing，J.M.（1990年）。线性化：并发对象的正确条件。美国计算机学会程序设计语言与系统汇刊12（3）463-492。
[22] Janicki，R.和Koutny，M.（1993年）。并发结构。理论计算机科学112（1）5-52·Zbl 0814.68061号
[23] Janicki，R.和Yin，X.（2017年）。使用间隔跟踪对并发进行建模。信息与计算25378-108·Zbl 1359.68224号
[24] Johansen，C.（2015）。ST-结构。逻辑代数方法程序设计杂志85（6）1201-1233·Zbl 1353.68208号
[25] Joyal，A.、Nielsen，M.和Winskel，G.（1996年）。从打开的地图进行相互模拟。信息与计算127（2）164-185·Zbl 0856.68067号
[26] Lamport，L.（1986年a）。互斥问题：第一部分——进程间通信理论。ACM33（2）313-326期刊·Zbl 0627.68017号
[27] Lamport，L.（1986年b）。进程间通信。第一部分：基本形式主义。分布式计算1（2）77-85·Zbl 0598.68022号
[28] Lane，S.M.（1998）。《在职数学家分类》，第二版。斯普林格·Zbl 0906.18001号
[29] Milner，R.（1989）。沟通与并发。普伦蒂斯·霍尔·Zbl 0683.68008号
[30] Nielsen，M.、Plotkin，G.D.和Winskel，G.（1981）。Petri网，事件结构和域，第一部分，理论计算机科学1385-108·Zbl 0452.68067号
[31] 单工类别（2021年）。
[32] Petri，C.A.（1962）。Kommunikation mit Automaten公司。Schriften des IIM排名第二。德国波恩仪器数学研究所，。
[33] Pratt，V.R.（1986）。使用部分订单建模并发性。并行编程杂志15（1），33-71·Zbl 0622.68034号
[34] Pratt，V.R.（1991）。使用几何体建模并发性。收录：POPL，纽约市，ACM出版社，311-322。
[35] Pratt，V.R.（1995）。楚空间及其作为并发对象的解释。收录：Van Leeuwen，J.（编辑）《今日计算机科学：最新趋势和发展》，第1000卷。计算机科学课堂讲稿。施普林格，392-405·邮编：0875.00060
[36] Pratt，V.R.（2000）。重新审视高维自动机。计算机科学中的数学结构10（4）525-548·Zbl 0956.68090号
[37] Pratt，V.R.（2003年）。并发和分支时间中的转换和取消。计算机科学中的数学结构13（4）485-529·兹比尔1088.68131
[38] Serre，J.-P.（1951年）。同义单数des espaces fiberés。法国巴黎高等师范学院博士论文·Zbl 0045.26003号
[39] Shields，M.W.（1985）。并发机器。计算机期刊28（5）449-465·Zbl 0573.68026号
[40] Van Glabbek，R.J.（1991年）。高维自动机的互模拟。电子邮件。
[41] Van Glabbeek，R.J.（1996）。保留历史的过程图。未发布的草稿。
[42] Van Glabbeek，R.J.（2006年a）。关于高维自动机的表达性。理论计算机科学356（3）265-290。另见[van Glabbeek，2006b]·Zbl 1092.68071号
[43] Van Glabbeek，R.J.（2006年b）。“关于高维自动机的表现力”勘误表。理论计算机科学368（1-2）168-194·Zbl 1171.68582号
[44] Van Glabbeek，R.J.和Goltz，U.（2001年）。改进并发系统的动作和等价概念。《信息学报》37（4/5）229-327·Zbl 0969.68081号
[45] Van Glabbeek，R.J.和Plotkin，G.D.（1995）。配置结构。单位：LICS。IEEE计算机学会，199-209。
[46] Van Glabbeek，R.J.和Plotkin，G.D.（2009年）。配置结构、事件结构和Petri网。理论计算机科学410（41）4111-4159·Zbl 1187.68329号
[47] Vogler，W.（1991）。基于区间半词的故障语义是求精的同余。分布式计算4139-162·Zbl 0723.68069号
[48] 沃格勒（1992）。Petri网的模块化构造和偏序语义，第625卷。计算机科学课堂讲稿。斯普林格·Zbl 1293.68015号
[49] Winkowski，J.（1977年）。非序列系统行为的代数表征。信息处理信函6（4）105-109·Zbl 0374.94038号
[50] Winskel，G.和Nielsen，M.（1995年）。并发模型。摘自：Abramsky，S.、Gabbay，D.M.和Maibaum，T.S.E.（编辑）《计算机科学中的逻辑手册》，第4卷。牛津，克拉伦登出版社·Zbl 0874.68120号
[51] Zimiaáski，K.（2017年）。前立方集上的有向路径空间。工程、通信和计算中的应用代数28（6）497-525·Zbl 1384.55015号
[52] Zimiaáski，K.（2020年）。前立方体集合上的有向路径空间2。应用与计算拓扑杂志445-78·Zbl 1436.55014号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。