文件大小：0.52 MB 12页
pi-Calculus中的结构重写
作者
-
部分： 音量： 第一次改写程序转换和评估技术国际研讨会（WPTE 2014）
系列： 信息学开放存取系列（OASIcs） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2014-07-13
文件
文件标识符
引用为 获取BibTex
摘要
关键词
过程计算 正在重写 语义学
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
M.Abadi和A.D.Gordon。 密码协议演算：spi演算。 在CCS’97中，第36-47页。 ACM，1997年。 
-
J.Engelfriet和T.Gelsema。 像素中一个新的自然结构一致性与复制。 《学报》，40（6-7）：385-4302004年。
-
J.Engelfriet和T.Gelsema。 结构一致性练习。 信息处理。 莱特。， 101(1):1-5, 2007.
-
C.Fournet和G.Gonthier。 异步计算的等价层次。 J.日志。 阿尔盖布。 程序。， 63(1):131-173, 2005.
-
J.Giesl、P.Schneider Kamp和R.Thiemann。 依赖对框架中的自动终止证明。在IJCAR’06，LNCS第4130卷，第281-286页。 施普林格，2006年。
-
V.Khomenko和R.Meyer。 检查pi-calculus结构同余是图同构的完成。 在ACSD’09中，第70-79页。 IEEE，2009年。
-
C.拉伊夫。 关于等价性测试：可以和必须在联合计算中进行测试。 技术报告UBLCS 96-04，博洛尼亚大学，1996年。
-
R.Milner。 通信和移动系统：π演算。 CUP，1999年。
-
R.Milner、J.Parrow和D.Walker。 移动进程的微积分，i&ii。 通知。 和计算。， 100(1):1-77, 1992.
-
J.H.Morris。Lambda-编程语言的演算模型。 麻省理工学院博士论文，1968年。
-
V.Natarajan和R.Cleaveland。 分歧和公平测试。 在ICALP’95，LNCS第944卷，第648-659页。 施普林格，1995年。
-
J.Niehren、D.Sabel、M.Schmidt-Schau和J.Schwinghammer。 带有参考单元格和期货的并发lambda演算的观察语义。 电子。 注释Theor。 计算。 科学。， 173:313-337, 2007.
-
G.D.Plotkin。 Call-by-name、Call-by-value和lambda-calculus。 定理。 计算。 科学。， 1:125-159, 1975.
-
C.普里亚米。 随机pi-calculus。 计算。 J.，38（7）：578-5891995年。
-
C.Rau、D.Sabel和M.Schmidt Schauß。 作为终止问题的程序转换的正确性。 在IJCAR’12，LNCS第7364卷，第462-476页。 施普林格，2012年。
-
A.Rensink和W.Vogler。 公平测试。 通知。 和计算。， 205(2):125-198, 2007.
-
D.Sabel和M.Schmidt Schauß。 具有局部自底避免选择的按需lambda-calculus：上下文引理和转换的正确性。 数学。 结构计算。 科学。， 18(03):501-553, 2008.
-
D.Sabel和M.Schmidt-Schau。 Concurrent Haskell with futures的上下文语义。 在PPDP'11中，第101-112页。 ACM，2011年。
-
D.Sabel和M.Schmidt-Schau。 Haskell中的保守并发。 在LICS’12中，第561-570页。 IEEE，2012年。
-
D.Sabel和M.Schmidt-Schau。 可以停止的像素的上下文等效。 Frank报告53，J.W.Goethe-Universität Frankfurt am Main，2014年。 网址： http://www.ki.cs.uni-frankfurt.de/papers/frank/pi-stop-frank.pdf . -
D.Sangiorgi和D.Walker。 π演算：移动过程理论。 CUP，2001年。
-
M.Schmidt-Schauß、C.Rau和D.Sabel。 扩展Alpha等价性和复杂性的算法。 在RTA’13，LIPIcs第21卷，第255-270页。 Dagstuhl-Leibniz-Zentrum für Informatik学校，2013年。
-
M.Schmidt-Schau和D.Sabel。 STM Haskell实现的正确性。 在ICFP’13中，第161-172页。 ACM，2013年。
-
R.Thiemann和C.Sternagel。 使用CeTA认证终止证明。 在TPHOLs'09中，LNCS第5674卷，第452-468页。 施普林格，2009年。