文件大小：0.52 MB 15页
活动结构最小化
作者
保罗·巴尔丹 
,
亚历山德拉·拉斐塔
-
部分： 体积： 第39届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2019）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2019-12-04
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
受试者分类
ACM科目分类
计算理论 → 并发 软件及其工程 → 形式化方法
关键词
事件结构 最小化 历史保护双重相似性 行为保护商
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
A.Armas Cervantes、P.Baldan、M.Dumas和L.GarcíA-Bañuelos。 诊断业务流程模型之间的行为差异：基于事件结构的方法。 信息系统，56:304-3252016。 
-
A.阿玛斯·塞万提斯（A.Armas Cervantes）、P.Baldan和L.GarcíA-Bañuelos。 历史保持互模拟下的事件结构约简。 《程序设计中的逻辑和代数方法杂志》，85（6）：1110-11302016。
-
P.巴尔丹。 并发计算建模：从上下文Petri网到图形文法。 比萨大学博士论文，2000年。
-
P.Baldan、A.Corradini、H.Ehrig、M.Löwe、U.Montanari和F.Rossi。 代数图转换系统的并发语义。 在G.Rozenberg编辑的《图形语法和图形转换计算手册》第三卷：并发，第107-187页。 《世界科学》，1999年。
-
P.Baldan、A.Corradini和U.Montanari。上下文Petri网，非对称事件结构和过程。 信息与计算，171（1）：1-492001。
-
P.Baldan和A.Raffaetá。 最小化事件结构，2019年。 网址： http://arxiv.org/abs/1907.07042 . -
贝德纳茨克文学硕士。 保留相互模拟的遗传历史或程序逻辑中未来的力量是什么。 波兰科学院技术报告，1991年。
-
G.布多尔。 流事件结构和流网络。 在并发过程系统的语义中，LNCS第469卷，第62-95页。 施普林格出版社，1990年。
-
G.Boudol和I.Castellani。 转换的排列：CCS和SCCS的事件结构语义。 《逻辑和并发模型中的线性时间、分支时间和部分顺序语义》，LNCS第354卷，第411-427页。 Springer Verlag，1988年。
-
R.Bruni，H.C.Melgratti和U.Montanari。标称微积分的事件结构语义。 C.Baier和H.Hermanns，编辑，CONCUR 2006，LNCS第4137卷，第295-309页。 斯普林格，2006年。
-
S.Castellan公司。 使用事件结构的弱内存模型。 2016年《JFLA学报》。
-
I.卡斯特拉尼。 并行的相互模拟。 爱丁堡大学博士论文，1988年。
-
S.Chakraborty和V.Vafeiadis。 使用事件结构进行精简空气读取。 PACMPL，3（大众）：70:1-70:282019。
-
I.Cristescu、J.Krivine和D.Varacca。 CCS和pi-calculus的刚性系列。 《ICTAC’15会议录》，LNCS第9399卷，第223-240页。 斯普林格，2015年。
-
M.Dumas和L.García-Bañuelos。 重新加载的流程挖掘：作为流程模型和事件日志的统一表示的事件结构。 R.R.Devillers和A.Valmari，编辑，Petri Nets 2015，LNCS第9115卷，第33-48页。 斯普林格，2015年。
-
J.E.Hopcroft、R.Motwani和J.D.Ullman。 自动机理论、语言和计算导论。 Addison-Wesley，2006年。
-
A.Jeffrey和J.Riely。 关于稀薄的阅读：朝向放松记忆的事件结构模型。 M.Grohe、E.Koskinen和N.Shankar，编辑，LICS 2016，第759-767页。 ACM，2016年。
-
A.Joyal、M.Nielsen和G.Winskel。 从开放地图进行双向模拟。 信息与计算，127（2）：164-1851996。
-
M.Jurdzinski、M.Nielsen和J.Srba。 多米诺骨牌游戏的不确定性和hhp双相似性。 信息与计算，184（2）：343-3682003。
-
R.Langerak（兰格拉克）。 捆绑事件结构：Lotos的非交互语义。 在第五届国际正式描述技术会议（FORTE'92），第331-346页。 北荷兰，1992年。
-
R.Langerak（兰格拉克）。 LOTOS的转换和语义。 特温特大学计算机科学系博士论文，1992年。
-
A.R.Meyer和L.J.Stockmeyer。 带平方的正则表达式的等价问题需要指数空间。 SWAT（FOCS），第125-129页。 IEEE计算机学会，1972年。
-
U.Montanari和M.Pistore。 历史-保留互模拟的最小转换系统。 在第14届计算机科学理论方面年度研讨会上，LNCS第1200卷，第413-425页。 Springer Verlag，1997年。
-
M.Nielsen、G.Plotkin和G.Winskel。 Petri网，事件结构和域，第1部分。 理论计算机科学，13:85-1081981。
-
J.Pichon Pharabod和P.Sewell。 放松原子的并发语义，允许优化并避免执行thin-air。 R.Bodík和R.Majumdar，编辑，POPL 2016，第622-633页。 ACM，2016年。
-
A.伦辛。 配置的姿势！ W.R.Cleaveland，编辑，《1992年CONCUR会议录》，LNCS第630卷，第269-285页。 施普林格，1992年。
-
G.希德。 关于重写系统和图形语法与事件结构的关系。 在H.-J.Schneider和H.Ehrig编辑的Dagstuhl研讨会9301计算机科学中的图形转换，LNCS第776卷，第326-340页。 斯普林格，1994年。
-
R.J.van Glabbeek。 保留历史的过程图。 草稿可在 http://theory.stanford.edu/ ~rvg/abstracts.html#hppg , 1996. -
R.J.van Glabbeek和U.Goltz。 改进并发系统的动作和等价概念。 信息学报，37（4/5）：229-3272001。
-
R.J.van Glabbeek和G.D.Plotkin。 配置结构、事件结构和Petri网。 理论计算机科学，410（41）：4111-41592009。
-
D.瓦拉卡和N.吉田。 类型化事件结构和线性像素。 理论计算机科学，411（19）：1949-19732010。
-
G.温克尔。 CCS和相关语言的事件结构语义。 《DAIMI PB-159技术报告》，奥胡斯大学，1983年。
-
G.Winskel。 事件结构。 《Petri网：与其他并发模型的应用和关系》，LNCS第255卷，第325-392页。 施普林格，1987年。
-
G.Winskel。 事件、因果和对称。 《计算机杂志》，54（1）：42-572011。