×

并发提供最小的过程表示。 (英语) Zbl 1486.68115号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10226, 242-257 (2017).
摘要:我们提出了一种简化偏序集的方法,使得从基于并发的闭包操作符派生的格尽可能少地改变。事实上,我们刻画了在哪些情况下它保持不变,并证明了由此得到的简化偏序集的极小性。在这些情况下,我们可以完成这个偏序集,以获得一个因果网,在这个因果网上闭包算子将导致相同的格。
关于整个系列,请参见[兹比尔1361.68009].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
06年06月06日 部分订单,通用
2015年1月6日 伽罗瓦对应、闭包算子(与有序集有关)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bernardinello,L.,Ferigato,C.,Haar,S.,Pomello,L:冲突发生网络中的闭集。基金。通知。133(4), 323–344 (2014) ·Zbl 1315.68189号
[2] Bernardinello,L.,Pomello,L.,Rombolá,S.:从偏序集和发生网络中的并发派生的闭包操作符和格。基金。通知。105, 211–235 (2010) ·Zbl 1209.68333号
[3] Bernardinello,L.,Pomello,L,Rombolá,S.:与组合偏序集相关的正交模代数格。摘自:《第十五届意大利理论计算机科学会议论文集》,意大利佩鲁贾,2014年9月17-19日,第241-245页(2014)
[4] Best,E.,Fernandez,C.:非顺序过程——Petri网观点。理论计算机科学专著。EATCS系列,第13卷。斯普林格,海德堡(1988)·Zbl 0656.68005号 ·doi:10.1007/978-3-642-73483-0
[5] Birkhoff,G.:晶格理论,第三版。美国数学学会,普罗维登斯(1979)·Zbl 0505.06001号
[6] Davey,B.A.,Priestley,H.A.:格与秩序导论。剑桥大学出版社,剑桥(1990)·兹比尔0701.06001
[7] Dushnik,B.,Miller,E.W.:部分有序集。美国数学杂志。63(3), 600–610 (1941) ·Zbl 0025.31002号 ·doi:10.2307/2371374
[8] Kalmbach,G.:正交模格。纽约学术出版社(1983)·Zbl 0512.06011号
[9] Mazurkiewicz,A.:痕迹理论。收录:Brauer,W.、Reisig,W.和Rozenberg,G.(编辑)ACPN 1986。LNCS,第255卷,第278-324页。斯普林格,海德堡(1987)。数字对象标识:10.1007/3-540-17906-2_30 ·Zbl 0633.68051号 ·文件编号:10.1007/3-540-17906-2_30
[10] Möhring,R.H.:可比图的算法方面,区间图。在:Rival,I.(ed.)Graphs,Order:The Role of Graphs In The Theory of Ordered Sets and Its Applications中,第41–101页。施普林格荷兰,多德雷赫特(1985)·doi:10.1007/978-94-009-5315-4_2
[11] Nielsen,M.,Plotkin,G.D.,Winskel,G.:Petri网,事件结构和域,第一部分理论。计算。科学。13, 85–108 (1981) ·Zbl 0452.68067号 ·doi:10.1016/0304-3975(81)90112-2
[12] Petri,C.A.,Smith,E.:并发性和连续性。收录:Rozenberg,G.(编辑)APN 1986。LNCS,第266卷,第273-292页。斯普林格,海德堡(1987)。数字对象标识:10.1007/3-540-18086-9_30 ·Zbl 0671.68026号 ·数字对象标识代码:10.1007/3-540-18086-9_30
[13] E.史密斯:卡尔·亚当·佩特里:《生命与科学》。斯普林格,海德堡(2015)·Zbl 1343.01004号 ·doi:10.1007/978-3-662-48093-9
[14] Winskel,G.:事件结构。收录:Brauer,W.、Reisig,W.和Rozenberg,G.(编辑)ACPN 1986。LNCS,第255卷,第325-392页。斯普林格,海德堡(1987)。数字对象标识:2017年10月10日-3日-540-17906-2_31·Zbl 0626.68022号 ·文件编号:10.1007/3-540-17906-2_31
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。