×
罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉

移动进程和终止。 （英语） 兹比尔1253.68239

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，250-273（2009）。
小结：本文综述了在并发环境下终止研究的一些最新成果。过程是（pi）-演算过程，对其施加类型系统以确保过程计算的终止。暴露了两种方法。第一种方法借鉴了逻辑关系方法，该方法广泛用于序列语言的分析。第二种方法利用了术语重写的概念。
关于整个系列，请参见[兹比尔1173.68014].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2012年第68季度 语法和重写系统

软件：

泰皮卡尔
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}等人，Lect。注释计算。科学。5700、250--273（2009年；Zbl 1253.68239）
全文： 内政部

参考文献：

[1] Boudol，G.，Laneve，C.：｛\（\lambda\）｝-微积分、乘法和｛\（\pi\）｝-微积分。摘自：Plotkin，G.，Stirling，C.，Tofte，M.（编辑）《证明、语言与互动：罗宾·米尔纳的论文》，麻省理工学院出版社，剑桥（2000）·Zbl 0910.68131号
[2] Boutilier，P.：{\（\pi\）}-演算中终止的混合类型系统的实现。ENS Lyon（2008）培训期报告
[3] Dezani-Ciancaglini，M.，de Liguoro，U.，Piperno，U.：并发{\（\lambda\）}-演算的完全抽象语义。收录：Hagiya，M.，Mitchell，J.C.（编辑）TACS 1994。LNCS，第789卷，第16-35页。斯普林格，海德堡（1994）·Zbl 0942.03509号 ·doi:10.1007/3-540-57887-088
[4] Dershowitz，N.，Hoot，C.：自然终止。理论计算机科学142（2），179-207（1995）·Zbl 0873.68103号 ·doi:10.1016/0304-3975（94）00275-4
[5] Demangeon，R.，Hirschkoff，D.，Kobayashi，N.，Sangiorgi，D.：关于过程终止推断的复杂性。收录：Barthe，G.、Fournet，C.（编辑）TGC 2007和FODO 2008。LNCS，第4912卷，第140-155页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-78663-4_11
[6] Demangeon，R.、Hirschkoff，D.、Sangiorgi，D.：移动进程终止的静态和动态类型。In：程序。IFIP TCS 2008。IFIP，第273卷，第413–427页。斯普林格，海德堡（2008）
[7] Dershowitz，N.，Manna，Z.：用多集排序证明终止。ACM通讯22（8），465–476（1979）·Zbl 0431.68016号 ·doi:10.1145/359138.359142
[8] Deng，Y.，Sangiorgi，D.：通过可输入性确保终止。信息与计算204（7），1045–1082（2006）·Zbl 1110.68084号 ·doi:10.1016/j.ic.2006.03.002
[9] Deng，Y.，Sangiorgi，D.：通过类型确保终止。Inf.计算。 204(7), 1045–1082 (2006) ·兹比尔1110.68084 ·doi:10.1016/j.ic.2006.03.002
[10] Fournet，C.，Gonthier，G.：自反化学抽象机和连接演算。In：程序。第23届POPL。ACM出版社，纽约（1996）
[11] 甘地：强有力的正常化证明。收录：致H.B.Curry：关于组合逻辑、Lambda微积分和形式主义的论文。伦敦学术出版社（1980年）
[12] 小林：一种部分无死锁类型的过程演算。美国计算机学会程序设计语言与系统汇刊20（2），436–482（1998）·数字对象标识代码：10.1145/276393.278524
[13] 小林，N.:TyPiCal:基于类型的Pi-Calculus静态分析仪（2007），http://www.kb.ecei.tohoku.ac.jp/koba/典型/
[14] Merro，M.：{\（\pi\）}演算中的局部性和面向对象语言的应用。巴黎矿业大学博士论文（2001年）
[15] Milner，R.：通信和移动系统：{\（\pi\）}-微积分。剑桥大学出版社，剑桥（1999）·Zbl 0942.68002号
[16] Mitchell，J.C.：编程语言基础。麻省理工学院出版社，剑桥（1996）
[17] Mosses，P.D.：编程语言语义的多样性。收录人：Björner，D.，Broy，M.，Zamulin，A.V.（编辑）PSI 2001。LNCS，第2244卷，第165-190页。斯普林格，海德堡（2001）·Zbl 1073.68554号 ·doi:10.1007/3-540-45575-2_18
[18] Mosses，P.D.：在结构操作语义中利用标签。芬丹。通知。 60(1-4), 17–31 (2004) ·兹比尔1083.68066
[19] Mosses，P.D.：编程语言的形式语义：概述。选举人。注释Theor。计算。科学。 148(1), 41–73 (2006) ·doi:10.1016/j.entcs.2005.12.012
[20] Demangeon，R.，Hirschkoff，D.，Sangiorgi，D.：高阶并行演算中的终止。In：程序。FSEN 2009（将于2009年发布）·Zbl 1205.68241号
[21] Sangiorgi，D.：统一接受性学科的名称。提奥。公司。科学。 221, 457–493 (1999) ·Zbl 0930.68035号 ·doi:10.1016/S0304-3975（99）00040-7
[22] Sangiorgi，D.：流程终止。计算机科学中的数学结构16（1），1-39（2006）·Zbl 1092.68069号 ·doi:10.1017/S0960129505004810
[23] Sangiorgi，D.，Walker，D.：{\（\pi\）}演算：移动过程理论。剑桥大学出版社，剑桥（2001）·Zbl 0981.68116号
[24] Sangiorgi，D.，Walker，D.：微积分：移动过程理论。剑桥大学出版社，剑桥（2001）·Zbl 0981.68116号
[25] 特纳，N.D.：多态像素：理论与实现。爱丁堡大学计算机科学系博士论文（1996年）
[26] 吉田，N.，伯杰，M.，本田，K.：{\（\pi\）}-微积分中的强正规化。摘自：第16届IEEE计算机科学逻辑年会（LICS 2001），第311-322页。IEEE计算机学会出版社，洛斯·阿拉米托斯（2001）·Zbl 1101.68705号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。