×
约翰·博格斯特罗姆;安德鲁·戈登。;安德鲁·菲利普斯

像素的图表语义。 （英语） Zbl 1277.68164号

Amadio，Roberto（ed.）等人，第14届并发表达性国际研讨会论文集（EXPRESS 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第2期，3-29页（2008年）。
摘要：我们提出了像素的图形语义，与传统的关系语义相比，它更易于可视化，更适合表达因果关系和时间属性。pi-chart是在pi-calculus中记录计算的有限有向非循环图。每个节点代表一个进程，每个边代表一个计算步骤或一个消息传递交互。Pi-charts具有与消息序列图类似的自然图形表示，其中垂直边表示控制流，水平边表示基于消息传递的数据流。pi-chart表示从顶部（没有祖先的节点）到底部（没有后代的节点）的单个计算。与传统的还原或转换不同，pi-chart中的边在过程中诱导祖先和其他因果关系。我们给出了pi-charts的组合和操作定义，并通过一系列示例说明了图表语义提供的额外表达能力。
关于整个系列，请参见[Zbl 1276.68007号].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

Pi演算;因果关系;消息序列图

软件：

图拉法勒
PDF格式BibTeX公司 XML格式引用
\textit{J.Borgström}等人，《电子》。注释Theor。计算。科学。194，第2号，第3--29号（2008；Zbl 1277.68164）
全文： 内政部

参考文献：

[1] Abadi，M.，《安全协议及其属性》，（安全计算基础。安全计算基础，NAT科学丛书（2000），IOS出版社），39-60·Zbl 0995.68050号
[2] 阿鲁尔（Alur，R.）。；Holzmann，G.J。；Peled，D.，消息序列图分析器，软件概念和工具，17，2，70-77（1996）
[3] 贝斯特，E。；Devillers，R.R。；Koutny，M.，箱代数=petri网+过程表达式，Inf.Compute。，178, 1, 44-100 (2002) ·Zbl 1012.68117号
[4] 巴加万，K。；Fournet，C。；戈登，A.D。；Pucella，R.，TulaFale:web服务的安全工具（FMCO'03）。FMCO’03，LNCS，第3188卷（2004），施普林格），197-222·Zbl 1104.68306号
[5] Bonelli，E。；Compagnoni，A。；Gunter，E.，并发通信中进程同步的通信断言，JFP，15，2，147-219（2004）·兹比尔1077.68605
[6] 博雷尔，M。；德尼古拉，R。；Pugliese，R.，异步过程的跟踪和测试等价性，信息与计算，172，2，139-164（2002）·Zbl 1009.68079号
[7] 博雷尔，M。；Sangiorgi，D.，《π演算中因果关系的完全抽象语义》，《信息学报》，35，353-400（1998）·Zbl 0908.68103号
[8] 布多尔，G。；Castellani，I.，并发性和原子性，TCS，59，25-84（1988）·Zbl 0678.68078号
[9] 布多尔，G。；Castellani，I.，《基于已证明转换的CCS非交互语义》，《信息学基础》，第4期，第XI期，第433-452页（1988年）·Zbl 0657.68066号
[10] R.Bruni、H.C.Melgratti和U.Montanari。名词计算的事件结构语义。在同意; R.Bruni、H.C.Melgratti和U.Montanari。名词计算的事件结构语义。在CONCUR公司·Zbl 1151.68512号
[11] Bugliesi，M。；卡斯塔尼亚，G。；Crafa，S.，Boxed ambients，（《计算机软件的理论方面》，计算机软件理论方面，（TACS 2001）。计算机软件的理论方面。计算机软件的理论方面，（TACS 2001），LNCS，第2215卷（2001），施普林格），38-63·Zbl 1087.68541号
[12] Cardelli，L。；Ghelli，G。；Gordon，A.D.，《保密与群组创建》，《信息与计算》，196，2，127-155（2005）·Zbl 1101.68692号
[13] Castellani，I.，带局部的过程代数，（过程代数手册（2001），Elsevier），945-1045，第15章·Zbl 1062.68078号
[14] F.克拉佐拉拉和G.米利西亚。安全协议的图形描述。在安全中的约束与逻辑编程（COLOPS 2003）; F.克拉佐拉拉和G.米利西亚。安全协议的图形描述。在安全中的约束与逻辑编程（COLOPS 2003）
[15] F.Crazolara和G.Winskel。安全协议中的事件。第八届ACM计算机和通信安全会议（CCS’2001）; F.Crazolara和G.Winskel。安全协议中的事件。第八届ACM计算机和通信安全会议（CCS’2001）
[16] Degano，P。；Priami，C.，移动进程的非交错语义，理论计算机科学，216237-270（1999）·Zbl 0914.68128号
[17] Degano，P。；Priami，C.，《增强操作语义》，ACM计算调查，2，33，135-176（2001）
[18] Gadducci，F.，为pi-calculus重写术语图，（Ohori，Atsushi，APLAS。APLAS，计算机科学讲稿，第2895卷（2003），Springer），37-54·Zbl 1254.68169号
[19] 甘斯纳，E.R。；North，S.C.，《开放式图形可视化系统及其在软件工程中的应用》，《软件实践与经验》，30，11，1203-1233（2000）·Zbl 1147.68782号
[20] 戈登，医学博士。；Jeffrey，A.，《通信协议的键入通信断言》，《理论计算机科学》，300，379-409（2003）·Zbl 1023.68006号
[21] 国际电联。消息序列图（MSC）; 国际电联。消息序列图（MSC）
[22] 国际电联。规范和设计语言（SDL）; 国际电联。规范和设计语言（SDL）
[23] Jeffrey，A.S.A。；Rathke，J.，《完全抽象的并发对象语义测试》，《理论计算机科学》，33817-63（2005）·Zbl 1078.68107号
[24] 小林，N。；皮尔斯，B。；特纳，D.，《线性与微积分》，托普拉斯，21，5，914-947（1999）
[25] König，B.，《多元像素的图形重写语义》，（GT-VMT’00（图形转换和可视化建模技术研讨会）（2000），Carleton Scientific），451-458
[26] Lamport，L.，《时间、时钟和分布式系统中事件的排序》，Commun。ACM，21，7，558-565（1978）·Zbl 0378.68027号
[27] 茅，S。；Reniers，M.A.，《基本消息序列图的代数语义》，《计算机杂志》，37，4（1994）
[28] 毛，S。；Reniers，医学硕士。；Willemse，T.A.C.，《软件工程过程中的消息序列图》（Chang，S.K.，《软件工程学和知识工程手册》（2000），世界科学出版社）
[29] R.Milner。Pi-nets：图形形式Π;94年员工持股计划; R.Milner。Pi-nets：图形形式Π;94年员工持股计划
[30] Milner，R.，《通信和移动系统：（π）-微积分》（1999），CUP·Zbl 0942.68002号
[31] R.Milner。双图反应系统：基本理论。《523号技术报告》，剑桥大学计算机实验室，2001年；R.Milner。双图反应系统：基本理论。技术报告523，剑桥大学计算机实验室，2001年·Zbl 1006.68080号
[32] 蒙塔纳里，美国。；Pistore，M.，《历史依赖自动机：导论》，《计算机科学讲义》，3465，1-28（2005）
[33] 统一建模语言·兹比尔1255.68054
[34] C.Petri。异步信息流理论基础。在62年IFIP大会; C.Petri。异步信息流理论基础。在62年IFIP大会
[35] 菲利普斯，A。；Cardelli，L。；Castagna，G.，《随机微积分中生物过程的图形表示》，《计算系统生物学学报》，4230，123-152（2006）
[36] 菲利普斯，A。；吉田，N。；Eisenbach，S.，用于盒式环境计算的分布式抽象机，（欧洲编程研讨会。欧洲编程研讨会，LNCS（2004年4月），斯普林格）·Zbl 1126.68507号
[37] Pratt，V.，用部分顺序建模并发，国际并行编程杂志，15，1，33-71（1986）·Zbl 0622.68034号
[38] C.普里亚米。增强的并发操作语义; C.普里亚米。增强的并发操作语义
[39] Sangiorgi，D。；Walker，D.，《π演算：移动过程理论》（2001），CUP·Zbl 0981.68116号
[40] Thayer Fábrega，F.J。；赫尔佐格，J.C。；Guttman，J.D.，《Strand spaces:Proving security protocols correct》，《计算机安全杂志》，第7期，第191-230页（1999年）
[41] 瓦拉卡，D。；Yoshida，N.，《类型化事件结构和像素，编程语义的数学基础》。编程语义的数学基础，ENTCS（2006），Elsevier·Zbl 1273.68265号
[42] G.Winskel。计算中的事件; G.温克尔。计算中的事件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。