埃里克·古堡;埃曼纽尔·豪科特;桑吉维·克里希南 定向拓扑中的未来路径组件。 (英语) Zbl 1342.68232号 Mislove,Michael(ed.)等人,《第26届编程语义数学基础会议论文集》(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265325-335(2010)。 摘要:复杂系统的全局状态通常形成位置空间,即具有相容偏序的拓扑空间,反映了状态之间的因果关系。计算这些位置空间上的可处理不变量可以揭示底层空间上普通不变量看不到的关键系统行为,从而有时会掩盖困扰静态分析的状态空间问题。我们介绍了一种实用的计算未来路径分量的技术,状态空间上的代数不变量,以及并发过程定性行为的易处理描述。关于整个系列,请参见[兹比尔1281.68037]. 引用于三文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 54个F05 线性有序拓扑空间、广义有序空间和偏序空间 关键词:并发;有向拓扑;未来等值;路径组件 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,《电子》。注释Theor。计算。科学。265325-335(2010年;Zbl 1342.68232) 全文: 内政部 参考文献: [1] Ehlers,P.J。;波特,T.,拟范畴中的有序细分和特殊粘贴,数学进展。,214, 2, 489-518 (2007) ·Zbl 1129.18003号 [2] Fajstrup,L。;Goubault,E。;Raußen,M.,代数拓扑与并发,理论。计算。科学,357,1-3,241-278(2006)·Zbl 1099.55003号 [3] Fajstrup,L。;Goubault,E。;豪科特,E。;Raußen,M.,基本范畴的组成部分,应用。类别。结构,12,1,84-108(2004)·Zbl 1078.55020号 [4] Goubault,E。;Haucourt,E.,基本类别II的组件,Appl。类别。结构(2007)·Zbl 1131.55011号 [5] Gierz,G。;霍夫曼,K。;Keimel,K。;劳森·J。;Mislove,M。;Scott,D.,《连续格和域》,《数学及其应用百科全书》,第93卷(2003年),剑桥大学出版社,xxxvi+591页·Zbl 1088.06001号 [6] Grandis,M.,定向同伦理论。一、 加利福尼亚州。白杨。盖姆。差异。卡特,44,4,281-316(2003)·Zbl 1059.55009号 [7] Grandis,M.,有向代数拓扑,范畴和更高范畴,应用。类别。结构。,15, 341-353 (2007) ·兹比尔1131.55006 [8] Grandis,M.,定向同伦范畴的商模型,理论应用。类别。,16, 26, 709-735 (2006) ·Zbl 1106.55006号 [9] Haucourt,E.,《元件类别和无环类别》,《类别的理论和应用》,16,27,736-770(2006)·Zbl 1117.18006号 [10] Nachbin,L.,拓扑与秩序,Van Nostrand Mathematical Studies,第4期(1965年),D.Van Nostrand Co.,Inc.:D.Van Nostrand Co.,Inc.新泽西州普林斯顿-安大略省多伦多-伦敦,vi+122·Zbl 0131.37903号 [11] Raussen,M.,前立方复数中的迹空间,拓扑及其应用,156,9,1718-1728(2009)·兹比尔1165.55006 [12] Thomason,R.,Cat作为封闭模型类别,Cahiers Topologie Géom。Différentielle,21,3,305-324(1980)·兹伯利0473.18012 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。