轩尼诗，M。 高阶流程及其模型。 （英语） Zbl 1418.68143号 Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 286-303 (1994). 摘要：研究了一个高阶进程代数，其中进程可以作为数据沿通道发送和接收。使用简单的操作语义，定义了两个行为预兆。第一，基于可以测试是指进程在通道上提供通信的能力，而第二个测试基于必须测试取决于进程可以保证的通信。第一个行为前序可以用指称语义学建模，该语义学使用高阶记录道而对于第二种情况，我们使用高阶接受树.关于整个系列，请参见[Zbl 0844.00024号]. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 关键词：程序逻辑;操作语义学;句法范畴;进程代数;指称语义学 软件：灵活 PDF格式BibTeX公司 XML格式引用 \textit{M.轩尼诗}，莱克特。注释计算。科学。820286--303（1994年；Zbl 1418.68143） 全文： 内政部 参考文献： [1] S.Abramsky。懒惰的lambda演算。在D·特纳（D.Turner）编辑的《函数式编程研究主题》（Research Topics In Functional Programming）中，第65-117页。艾迪森·韦斯利，1990年。 [2] 萨姆森·阿布拉姆斯基。逻辑形式的领域理论。《纯粹应用》。《逻辑》，51:1-771991年·Zbl 0737.03006号 [3] H.Barendregt、M.Coppo和M.Dezani-Ciancaglini。过滤器模型和类型分配的完整性。符号逻辑杂志，48:931-9401983·Zbl 0545.03004号 [4] M.Dezani-Ciancaglini、U.de’Liguoro和A.Piperno。并行和不确定lambda-calculus的完全抽象逻辑语义。在1994年TACS94会议记录中·Zbl 0942.03509号 [5] M.Dezani-Ciancaglini、U.de’Liguoro和P.van Rossum。一种用于高阶通信过程的类型分配系统。技术报告，都灵大学，1994年。 [6] A.Giacalone、P.Mistra和S.Prasad。facile的操作语义和代数语义：并发编程和函数编程的对称集成。《ICALP 90会议录》，《计算机科学讲义》第443卷，第765-780页，1990年·Zbl 0765.68109号 [7] 卡尔·冈特。编程语言的语义。麻省理工学院出版社，1992年·Zbl 0823.68059号 [8] M.轩尼诗。过程的代数理论。麻省理工学院出版社，1988年·Zbl 0744.68047号 [9] M.轩尼诗。高阶过程的完全抽象指称模型。在LICS 94的程序中，第397-408页。IEEE计算机学会出版社，1994年。出现在信息和计算中·Zbl 0806.68071号 [10] R.Milner。沟通与并发。普伦蒂斯·霍尔，1989年·Zbl 0683.68008号 [11] 詹姆斯·莫里斯（James Morris），《Lambda-编程语言的演算模型》（Lambda-Calculus Models of Programming Languages）。麻省理工学院博士论文，1968年。 [12] G.普洛金。LCF被认为是一种编程语言。理论计算机科学，5:323-2551977·Zbl 0369.68006号 [13] J.H.Reppy。一种高阶并发语言。《ACM SIGPLAN 91 PLDI会议记录》，SIGPLAN通知第26号，第294-305页，1991年。 [14] J.Reppy公司。高阶并发。康奈尔大学博士论文，1992年。 [15] D.桑吉奥戈。在过程代数中表达移动性：一阶和高阶范式。1992年，苏格兰爱丁堡大学博士论文。 [16] B.汤姆森。高阶通信系统的微积分。帝国理工学院博士论文，1990年。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。