×
本田、高黑;吉田、Nobuko

基于约简的过程语义。 （英语） Zbl 0871.68122号

西奥。计算。科学。 151，第2期，437-486（1995）.
摘要：研究了一种不依赖于可观察或收敛概念的过程语义理论。新的结构完全基于一个约简关系和方程推理，但可以在弱环境和强环境中为过程引入有意义的理论。在许多情况下，由此产生的理论与基于观察的行为等效公式相一致，有时甚至具有普遍性。以一个简单的传名演算（称为nu演算）及其扩展为例，研究了基于约简理论的基本构造。还简要讨论了我们的构造在其他计算中的应用结果。

引用于1审查
引用于89文件

MSC公司：

68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
\textit{K.本田}和\textit{N.吉田}，提奥。计算。科学。151，编号2，437--486（1995；Zbl 0871.68122）
全文： 内政部

参考文献：

[1] Abramsky，S.，《懒惰的lambda演算》（Turner，D.，《函数编程研究主题》（1990），Addison-Wesley：Addison-Whesley Reading，MA），65-116，65-116
[2] Barendregt，H.，《兰姆达演算：语法和语义》（The Lambda Calculus:Its Syntax and Semantics）（1984年），北荷兰：北荷兰阿姆斯特丹·Zbl 0551.03007号
[3] Berry，G。；Boudol，G.，《化学抽象机》，理论。计算。科学。，96, 217-248 (1992) ·Zbl 0747.68013号
[4] Boudol，G.，《异步与π演算》（INRIA Report 1702（1991），INRIA:INRIA Sophia Antipolis）
[5] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theoret。计算。科学。，34, 1, 89-133 (1984) ·Zbl 0985.68518号
[6] Engberg，美国。；Nielsen，M.，《带标签传递的通信系统演算》（研究报告DAIMI PB-208（1986），奥胡斯大学）
[7] 本田，K。；Tokoro，M.，《异步通信的对象演算》（Proc.ECOOP’91）。程序。ECOOP’91，计算机科学讲义，第512卷（1991），施普林格：施普林格柏林），133-147
[8] 本田，K。；Yoshida，N.，《移动进程的组合表示法》，（第21届编程语言原理年度研讨会论文集（1994年），ACM出版社：纽约ACM出版社），348-360
[9] 本田，K。；Yoshida，N.，《并发组合子中的复制》（Proc.TACS’94）。程序。TACS’94，计算机科学讲义，第789卷（1994），施普林格：施普林格柏林），786-805·Zbl 0942.03510号
[10] Honda，K.，《ν-演算及其组合表示的研究》（庆应义塾大学计算机科学系博士论文（1994））
[11] Howe，D.，《惰性计算系统中的平等》（Proc.4th Ann.Symp.on Logic in Computer Science（1989），IEEE:IEEE New York），198-203·Zbl 0716.68065号
[12] Jones，C.B.，《基于对象的设计符号的像素语义》（Proc.CONCUR’93）。程序。CONCUR’93，《计算机科学讲义》，第715卷（1993年），施普林格：施普林格柏林），158-173
[13] Lévy，J.-J.，lambda-calculus的最优约简，（Seldin，J.P.；Hindley，J.R.，To H.B.Curry：组合逻辑、lambda演算和形式主义论文（1980），学术出版社：纽约学术出版社），159-191·Zbl 0469.03006号
[14] 朗戈，G.，《λ演算的集合理论模型：理论、展开式和同构》，《纯粹应用》。逻辑，24153-188（1983）·Zbl 0513.03009号
[15] Milner，R.，《λ-演算的完全抽象模型》，Theoret。计算。科学。，4, 1-22 (1977) ·兹伯利0386.003006
[16] Milner，R.（通信系统微积分，计算机科学讲稿，第92卷（1980），施普林格：施普林格柏林）·Zbl 0452.68027号
[17] Milner，R.，《沟通与并发》（1989），《普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔恩格尔伍德悬崖》·Zbl 0683.68008号
[18] Milner，R.，《函数作为过程》，数学。结构。计算。科学。，2, 2, 119-146 (1992) ·Zbl 0773.03012号
[19] Milner，R.，《多元π-演算：教程》（Proc.the Internat.规格说明逻辑代数暑期学校Proc.the Internat.规格说明逻辑代数学暑期学校Marktoberdorf（1992））
[20] 米尔纳，R。；帕罗，J.G。；Walker，D.J.，《移动进程演算》，Inform。和计算。，100，1，1-77（1992年）·Zbl 0752.68037号
[21] 米尔纳，R。；Sangiorgi，D.，《倒刺双向模拟》，（ICALP Proc.’92）。程序。ICALP’92，《计算机科学讲义》，第623卷（1992年），施普林格：施普林格柏林），685-695·Zbl 1425.68298号
[22] Ong，C-H.L.，《懒惰的lambda演算：函数编程基础的研究》（帝国理工学院博士论文（1988））
[23] Park，D.（无限序列上的并发与自动机，计算机科学讲义，第104卷（1980），Springer:Springer-Blin），167-183·Zbl 0457.68049号
[24] Takeuchi，K。；本田，K。；Kubo，M.，《一种基于交互的语言及其打字系统》，（1994年PARLE汇编）。程序。1994年，《计算机科学讲义》，第817卷（1994），施普林格：施普林格柏林），398-413
[25] 汤姆森，B.，《高阶通信系统的微积分》，（Proc.16th，Ann.Symp.on Principles of Programming Languages（1989），美国计算机学会出版社：美国计算机学会纽约出版社），143-154
[26] Yoshida，N.，共享环境下弱λ-演算的最优约简，（FPCA’93 Proc.（1993），ACM出版社：纽约ACM出版社），243-252
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。