×
马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;乔万内蒂，埃利奥

环境和过程移动性类型。 （英语） Zbl 1141.68046号

数学。结构。计算。科学。 18，第2期，221-290（2008）.
摘要：我们提出了一种新的环境演算，其中开放能力被通用过程的直接移动性所取代。微积分配备了一个标记转换系统，类型在其中发挥着主要作用：这个系统允许我们展示有趣的代数定律。像往常一样，类型表示建模系统的通信、访问和移动性属性，而推断类型表示系统良好运行所需的最小约束。

引用于4文件

理学硕士：

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

关键词：

标记过渡系统
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，数学。结构。计算。科学。18，第2号，221--290（2008；Zbl 1141.68046）
全文： 内政部

参考文献：

[1] Honsell，Springer-Verlag计算机科学讲稿3085 pp 324–（2004）·doi:10.1007/978-3-540-24849-121
[2] Kahn，Springer-Verlag计算机科学讲稿247 pp 22–（1987）·doi:10.1007/BFb0039592
[3] DOI:10.1006/inco.2001.3089·Zbl 1009.68081号 ·doi:10.1006/inco.2001.3089
[4] DOI:10.1016/j.entcs.2003.12.007·doi:10.1016/j.entcs.2003.12.007
[5] Giovannetti，Springer-Verlag计算机科学课堂讲稿2874 pp 151–（2003）·doi:10.1007/978-3-540-40042-4-5
[6] 内政部：10.1109/32.685256·doi:10.1109/32.685256
[7] DOI:10.1016/S1571-0661（04）81011-9·doi:10.1016/S1571-0661（04）81011-9
[8] Coppo，TCS’04第583页–（2004）
[9] Coppo，Springer-Verlag计算机科学讲稿3838 pp 404–（2005）·文件编号：10.1007/11601548_20
[10] DOI:10.1016/S0304-3975（99）00231-5·Zbl 0954.68108号 ·doi:10.1016/S0304-3975（99）00231-5
[11] 内政部：10.1145/292540.292550·doi:10.1145/292540.292550
[12] 卡德利，《信息与计算》177第160页–（2002年）·doi:10.1016/S0890-5401（01）93121-9
[13] Zimmer，Springer-Verlag计算机科学讲稿1784 pp 375–（2000）·doi:10.1007/3-540-46432-8_25
[14] Cardelli，Springer-Verlag计算机科学课堂讲稿1644 pp 230–（1999）·doi:10.1007/3-540-48523-6_20
[15] 内政部：10.1016/j.ic.2005.06.002·doi:10.1016/j.ic.2005.06.002
[16] Wells，Springer-Verlag计算机科学讲稿2380 pp 913–（2002）·doi:10.1007/3-540-45465-978
[17] 内政部：10.1145/963778.963781·doi:10.1145/963778.963781
[18] Sangiorgi，The-微积分：移动过程理论（2001）·Zbl 0981.68116号
[19] Bugliesi，《计算机语言》28，第61页–（2002年）
[20] Sangiorgi，Springer-Verlag计算机科学课堂讲稿2076 pp 408–（2001）·doi:10.1007/3-540-48224-5_34
[21] Bettini，Springer-Verlag计算机科学课堂讲稿2874 pp 88–（2003）·doi:10.1007/978-3-540-40042-44
[22] Sangiorgi，Springer-Verlag计算机科学讲稿630 pp 32–（1992）·doi:10.1007/BFb0084781
[23] DOI:10.1016/S1571-0661（04）00321-4·Zbl 1268.68120号 ·doi:10.1016/S1571-0661（04）00321-4
[24] 内政部：10.1145/337244.337261·Zbl 1094.68591号 ·doi:10.1145/337244.337261
[25] Amtoft，TCS’04第5971页–（2004）
[26] 皮尔斯，《计算机科学中的数学结构》，第6页，409页–（1996年）
[27] Amtoft，Springer-Verlag计算机科学2028年讲稿第206页–（2001）·数字对象标识代码：10.1007/3-540-45309-114
[28] Milner，Springer-Verlag计算机科学讲稿623 pp 685–（1992）·doi:10.1007/3-540-55719-9_114
[29] 内政部：10.1016/0890-5401（92）90008-4·兹伯利0752.68036 ·doi:10.1016/0890-5401（92）90008-4
[30] 米尔纳，《北约ASI系列F：计算机和系统科学》94第203页–（1993）
[31] DOI:10.145/1101821.1101825·Zbl 1326.68201号 ·doi:10.145/1101821.1101825
[32] Merro，Springer-Verlag计算机科学课堂讲稿2421 pp 304–（2002）·文件编号：10.1007/3-540-45694-5_21
[33] 内政部：10.1145/503272.503280·Zbl 1323.68412号 ·doi:10.1145/503272.503280
[34] Lhoussaine，Springer-Verlag计算机科学讲座笔记2986 pp 171–（2004）·doi:10.1007/978-3-540-24725-8_13
[35] 内政部：10.1145/596980.596981·数字对象标识代码：10.1145/596980.596981
[36] 内政部：10.2307/1995158·Zbl 0196.01501号 ·doi:10.2307/1995158
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。