文件大小：0.57 MB 14页
Thiagarajan关于正则事件结构猜想的反例
作者
-
部分： 体积： 第44届国际自动化、语言和编程学术讨论会（ICALP 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 自动化、语言和编程国际学术讨论会（ICALP） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-07-07
文件
文件标识符
引用为 获取BibTex
摘要
关键词
离散事件结构 跟踪自动机 中值图和CAT（0）立方体复合体 展开和通用盖
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
F.Ardila、M.Owen和S.Sullivant。 CAT（0）立方复合体中的测地线。 高级申请。 数学。， 48(1):142-163, 2012. 
-
E.Badouel、Ph.Darondau和J.-C.Raoult。 无上下文事件域是可识别的。 信息计算。， 149(2):134-172, 1999.
-
H.-J.Bandelt和V.Chepoi。 度量图论与几何：综述。 J.E.Goodman、J.Pach和R.Pollack主编，《离散和计算几何调查：二十年后》，康普第453卷。 数学。， 第49-86页。 AMS，普罗维登斯，RI，2008年。
-
H.-J.Bandelt和J.Hedlíková。 中值代数。 离散。 数学。， 45(1):1-30, 1983.
-
J.-P.Barthélemy和J.Constantin。 中值图、平行度和偏序集。 离散。 数学。， 111(1-3):49-63, 1993.
-
M.A.Bednarczyk博士。 异步系统的类别。 苏塞克斯大学博士论文，1987年。
-
M.R.Bridson和A.Haefliger。 非正曲率度量空间，Grundlehren der mathematischen Wissenschaften第319卷。 斯普林格·弗拉格，柏林，1999年。
-
J.Chalopin和V.Chepoi。 Thiagarajan猜想的反例。 arXiv预印本，2016年。 网址： https://arxiv.org/abs/1605.08288 ，URL： http://arxiv.org/abs/1605.08288 . -
V.切波伊。 一些CAT（0）复合体的图。 高级申请。 数学。， 24(2):125-179, 2000.
-
V.切波伊。 事件结构的良好标记问题：一个反例。 SIAM J.计算。， 41(4):715-727, 2012.
-
D.。 德约科维奇。 超立方体的距离保护子图。 J.库姆。 理论，Ser。 B、 14（3）：263-2671973年。
-
格罗莫夫先生。 双曲线群。 S.M.Gersten，编辑，《群论论文》，《数学》第8卷。 科学。 Res.Inst.出版。， 第75-263页。 施普林格，纽约，1987年。
-
A.海彻。 代数拓扑。 剑桥大学出版社，剑桥，2002年。
-
J.Kari和P.Papasoglu。 确定性非周期瓦片集。 GAFA、Geom。 功能。 分析。， 9(2):353-369, 1999.
-
V.卢卡里拉。 四向确定性平铺问题是不可判定的。 西奥。 计算。 科学。， 410(16):1516-1533, 2009.
-
并发自动机与异步系统。 在MFCS 2005中，LNCS第3618卷，第686-698页。 斯普林格，2005年。
-
D.E.Muller和P.E.Schupp。 末端理论、下推自动机和二阶逻辑。 西奥。 计算。 科学。， 37:51-75, 1985.
-
M.Nielsen、G.D.Plotkin和G.Winskel。 Petri网，事件结构和域，第一部分Theor。 计算。 科学。， 13:85-108, 1981.
-
M.Nielsen、G.Rozenberg和P.S.Thiagarajan。 过渡系统、事件结构和展开。 信息计算。， 118(2):191-207, 1995.
-
M.Nielsen和P.S.Thiagarajan。 规则事件结构和有限Petri网：无冲突的情况。 在ICATPN 2002中，LNCS第2360卷，第335-351页。 斯普林格，2002年。
-
M.滚筒。 Poc集、中值代数和群作用。 技术报告，南安普顿大学，1998年。
-
B.Rozoy和P.S.Thiagarajan。 事件结构和迹幺半群。 西奥。 计算。 科学。， 91(2):285-313, 1991.
-
萨基耶夫（M.Sageev）。 群对末端和非正弯曲立方体复合体。 程序。 伦敦数学。 Soc.，s3-71（2）：585-6171995。
-
萨基耶夫（M.Sageev）。 CAT（0）立方体复合体和群。 《几何群论》编辑M.Bestvina、M.Sageev和K.Vogtmann，IAS/公园城市数学系列第21卷，第6-53页。 AMS，高等研究院，2012年。
-
并发系统的具体模型和抽象模型之间的联系。 1989年，《编程语义的数学基础》，LNCS第442卷，第53-79页。 施普林格，1989年。
-
P.S.Thiagarajan先生。 常规跟踪事件结构。 《金砖四国RS-96-32技术报告》，丹麦奥胡斯奥胡斯大学计算机科学系，1996年。
-
P.S.Thiagarajan先生。 正则事件结构和有限Petri网：一个猜想。 《形式与自然计算》，LNCS第2300卷，第244-256页。 斯普林格，2002年。
-
P.M.温克勒。 完全图乘积中的等距嵌入。 离散。 申请。 数学。， 7(2):221-225, 1984.
-
G.Winskel。 计算中的事件。 爱丁堡大学博士论文，1980年。
-
G.Winskel和M.Nielsen。 并发模型。 编辑S.Abramsky、Dov M.Gabbay和T.S.E.Maibaum，《计算机科学逻辑手册》（第4卷），第1-148页。 牛津大学出版社，1995年。
-
D.T.怀斯。 非正弯曲平方复数、非周期平铺和非剩余有限群。 普林斯顿大学博士论文，1996年。
-
D.T.怀斯。 完整的方形复合体。 注释。 数学。 Helv，82（4）：683-7242007年。
-
D.T.怀斯。 《从财富到拉格：3流形，直角Artin群和立方几何》，CBMS数学区域会议系列第117卷。 AMS，普罗维登斯，RI，2012年。