文件大小：464 kB 14页
豪的语境语义方法
作者
-
部分： 体积： 第26届并发理论国际会议（CONCUR 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2015-08-26
文件
文件标识符
DOI（操作界面）： 10.4230/LIPIcs公司。 合同2015年5月12日 URN: urn:nbn:de:0030-drops-53642
引用为 获取BibTex
摘要
关键词
仿真对 过程结石 豪氏方法
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
迈克尔·巴尔达穆斯和托马斯·弗劳恩斯坦。 高阶过程计算中弱互模拟等价的同余证明。 技术报告，柏林理工大学，1995年。 
-
Giuseppe Castagna、Jan Vitek和Francesco Zappa Nardelli。 印章微积分。 信息与计算，201（1）：1-542005。
-
塞德里克·福内特和乔治·冈瑟。 反身cham和联合演算。 在POPL'96中，第372-385页。 ACM出版社，1996年。
-
Cédric Fornet和Cosimo Laneve。 联合演算中的相互模拟。 理论计算机科学，266（1-2）：569-6032001。
-
Jens C.Godskesen和Thomas Hildebrandt。 将howe的方法扩展到具有本地名称的类型化移动嵌入式资源的早期互模拟。 在FSTTCS’05，LNCS第3821卷，第140-151页。 斯普林格，2005年。
-
安德鲁·D·戈登。 作为函数编程理论的相似性。 理论计算机科学电子笔记，1:232-2521995。
-
道格拉斯·J·豪。 证明函数式编程语言中互模拟的一致性。 信息与计算，124（2）：103-1121996。
-
Vasileios Koutavas和Matthew Hennessy。 具有钝化功能的高阶分布式语言的符号互模拟。 CONCUR’13，第167-181页。 Springer-Verlag，2013年。
-
塞尔盖·伦格利特。 相互模拟可以计算平均钝化。 格勒诺布尔大学博士论文，2010年。
-
塞尔盖·伦格利特和阿兰·施密特。 豪的上下文语义方法。 技术报告RR-8750，Inria，2015。
-
塞尔盖·伦格利特（Sergue ie Lenglet）、阿兰·施密特（Alan Schmitt）和珍妮·伯纳德·斯特凡尼（Jean-Bernard Stefani）。 用钝化表征计算中的上下文对等。 信息与计算，209（11）：1390-14332011。
-
阿德里安·皮耶拉德（Adrien Piérard）和埃希罗·苏米（Eijiro Sumii）。 高阶分布式过程演算的声音互模拟。 在FOSSACS’11中，LNCS第6604卷，第123-137页。 施普林格，2011年。
-
阿德里安·皮耶拉德（Adrien Piérard）和埃希罗·苏米（Eijiro Sumii）。 具有名称创建的高阶分布式演算。 在LICS’12中，第531-540页。 IEEE，2012年。
-
Davide Sangiorgi。高阶过程计算的相互模拟。 信息与计算，131（2）：141-1781996。
-
大卫·桑吉奥吉（Davide Sangiorgi）、小林直树（Naoki Kobayashi）和苏美义郎（Eijiro Sumii）。 高阶语言的环境互模拟。 《美国计算机学会编程语言与系统汇刊》，33（1），2011年。
-
大卫·桑吉奥吉和大卫·沃克。 Pi-Calculus:移动过程理论。 剑桥大学出版社，2001年。
-
Alan Schmitt和Jean-Bernard Stefani。 凯尔微积分：一个高阶分布式过程微积分家族。 在2004年全球计算研讨会上，LNCS第3267卷，2004年。
-
本特·汤姆森。 普通chocs：用于高阶过程的第二代微积分。 信息学报，30（1）：1-591993。