贾加迪桑、拉利塔·贾特冈卡尔;拉德哈·贾加迪桑 因果关系和真正的并发性:pi-calculus的数据流分析。 (英语) Zbl 1496.68228号 Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。936, 277-291 (1995). 关于整个系列,请参见[Zbl 1492.68008号]. 引用于8文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{L.J.Jagadeesan}和\textit{R.Jagadesan},Lect。注释计算。科学。936277--291(1995年;Zbl 1496.68228) 全文: 内政部 参考文献: [1] S.Abramsky和R.Jagadeesan。交互几何的新基础。信息与计算, 111(1):53-119, 1994. ·Zbl 0803.03014号 [2] 萨姆森·阿布拉姆斯基。抽象异步网络的广义Kahn原理。在编程语义的数学基础,第1-21页。Springer-Verlag,1989年。计算机科学第442卷课堂讲稿·Zbl 1509.68075号 [3] L.Aceto和M.Hennessy。过程代数中的动作重定义。在第四届计算机科学逻辑年会论文集,第138-145页。IEEE计算机学会出版社,1989年·Zbl 0716.68034号 [4] M.Boreale和S.Sangiorgi。π演算中因果关系的完全抽象语义。技术报告,爱丁堡大学,1994年。技术。代表ECS-LFCS-94-297·Zbl 1379.68245号 [5] G.Boudol、I.Castellani、Matthew C.Hennessy和A.Kiehn。具有局部性的过程理论。在并行理论国际会议论文集,计算机科学讲稿第630卷,第108-122页,1992年·Zbl 0806.68070号 [6] T.Coquand、C.Gunter和G.Winskel。dI-域作为多态性模型。在编程语言语义的数学基础第三次研讨会第344-363页。施普林格出版社,1987年·Zbl 0644.68041号 [7] D.Degano和D.Darondeau。因果树。在《计算机科学讲义》第372卷,ICALP 89年会刊,第234-248页,1989年。 [8] J.-Y.吉拉德。线性逻辑。理论计算机科学, 50(1):1-102, 1987. ·Zbl 0625.03037号 [9] J.-Y.吉拉德。交互几何1:系统F的解释。R.Ferro等人,编辑,逻辑座谈会88北荷兰,1989年·Zbl 0686.03030号 [10] 乌苏拉·戈尔茨。CCS和Petri网。技术报告,GMD,1990年7月·Zbl 0649.68015号 [11] 罗伯托·戈里埃里。过程描述语言的精化、原子性和事务1991年,比萨大学博士论文。 [12] 拉利塔·贾特戈恩卡。观察“真正的”并发性。麻省理工学院博士论文,1993年9月。由Albert R.Meyer监制。 [13] Lalita Jategaonkar和Albert R.Meyer。使用动作细化测试Petri网的等价性。在并行理论国际会议论文集,第630卷计算机科学课堂讲稿,第17-31页,1992年。 [14] G.Kahn。用于并行编程的简单语言的语义。在信息处理74,第993-998页。北荷兰,1977年。 [15] G.Kahn和D.MacQueen。平行过程的轮廓和网络。在IFIP大会会议记录。北荷兰,1977年·Zbl 0363.68076号 [16] A.基恩。当地和全球原因。技术报告,慕尼黑工业大学,1991年。 [17] R.Milner。作为流程发挥作用。在ICALP 90会议记录,第443卷,共计算机科学课堂讲稿,第167-180页。Springer-Verlag,1990年·Zbl 0766.68036号 [18] R.Milner。多元论pi-calculus:教程。技术报告ECS-LFCS-91-180,恩丁堡大学,1991年。 [19] 罗宾·米尔纳。沟通与并发。计算机科学系列。普伦蒂斯·霍尔,1989年·Zbl 0683.68008号 [20] M.Nielsen、G.D.Plotkin和G.Winskel。Petri网、事件结构和域i。理论计算机科学, 13(1):85-108, 1981. ·Zbl 0452.68067号 [21] 沃恩·普拉特。使用部分订单建模并发性。国际并行程序设计杂志, 15(1):33-71, 1986. ·Zbl 0622.68034号 [22] J.R.罗素。关于可预言网络和卡恩原理。在ACM程序设计语言原理研讨会论文集, 1990. [23] D.Sangiorgi。在过程代数中表示移动性:一阶和高阶范式爱丁堡大学博士论文,1992年。 [24] D.Sangiorgi。移动进程计算中的局部性和非干涉语义。在ICALP’94会议录,计算机科学讲稿, 1994. ·Zbl 0942.68631号 [25] Rob van Glabbek和Frits Vaandrager。并发代数理论的Petri网模型。在PARLE程序,第259卷计算机科学课堂讲稿,第224-2421987页·Zbl 0633.68054号 [26] 沃尔特·福格勒。Petri网的模块化构造和偏序语义,第625卷,共计算机科学课堂讲稿Springer-Verlag,1992年。252页·Zbl 1293.68015号 [27] 大卫·沃克。面向对象编程语言的π演算语义。在计算机软件的理论方面,第532-547页,1991年·Zbl 1493.68063号 [28] 格林·温斯克尔。事件结构。在Petri网:与其他并发模型的应用和关系,第255卷,共页计算机科学课堂讲稿,第325-392页,1987年·Zbl 0626.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。