尼西姆·弗朗西兹;霍尔,C.A.R。;丹尼尔·莱曼。;威廉·德·罗弗(Willem P.de Roever)。 不确定性、并发性和通信的语义。 (英语) Zbl 0434.68066号 J.计算。系统。科学。 19, 290-308 (1979). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于27文件 MSC公司: 68问题55 计算理论中的语义学 68号01 软件理论的一般主题 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:并行编程;区域方程;固定点;绑定终止;分布式编程高级语言的指称语义 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,J.Compute。系统。科学。19、290--308(1979年;Zbl 0434.68066) 全文: 内政部 链接 参考文献: [1] De Bakker,J.W.,《语义与非确定性递归程序的终止》,(《第三大学自动机学报,语言与编程》(1976年),爱丁堡大学出版社:爱丁堡学院出版社)·Zbl 0354.68021号 [2] Brinch-Hansen,P.,编程语言Concurrent Pascal,IEEE Trans。软件工程,1,2,199-207(1975) [3] Clint,M.,《程序证明:Coroutines》,《信息学报》,第2期,第1期,第50-63页(1973年) [4] Dijkstra,E.W.,《学科编程》(1976),Prentice Hall:Prentice Hall Englewood Cliffs,N.J·Zbl 0286.00013号 [5] Dijkstra,E.W.,《受荷兰国旗启发的大象》,EWD 608(1977),另见EWD 607 [6] Egli,H.,《非确定性计算的数学模型》(1975),苏黎世科技大学 [7] K.R.Apt、N.Francez和W.P.de Roever托帕斯;K.R.Apt、N.Francez和W.P.de Roever托普拉斯·Zbl 0468.68023号 [8] Goguen,J.,抽象数据类型的抽象错误,(IFIP编程概念形式描述工作会议论文集,IFIP编程理念形式描述工作大会论文集,新不伦瑞克(1977年7月31日至8月5日))·兹伯利0373.68024 [9] Hoare,C.A.R.,《通信顺序过程》,通信ACM,21(1978)·Zbl 0383.68028号 [10] Hoare,C.A.R.,《监视器:操作系统结构概念》,Comm.ACM。,17, 549-557 (1974) ·Zbl 0308.68029号 [11] Kahn,G.,并行编程简单语言的语义,IFI(1974)·Zbl 0299.68007号 [12] 莱曼·D·J。;Smyth,M.B.,《数据类型的代数规范:综合方法》,(数学、系统论、数学、系统理论、论文集,第18届F.O.C.S.Providence R.I.年度研讨会(1977年10月)),7-12页,出版社。(中的摘要 [13] Milne,G。;Milner,R.,《并发进程及其语法》,J.Assoc.Compute。机器。,26, 2 (1979) ·Zbl 0395.68030号 [14] Milner,R.,《过程:计算代理的数学模型》(1973年逻辑座谈会,北荷兰:北荷兰阿姆斯特丹)·Zbl 0316.68017号 [15] Owicki,S。;Gries,D.,《并行程序的公理证明技术》,I,《信息学报》,6319-340(1976)·Zbl 0312.68011号 [16] Plotkin,G.D.,《电力领域建设》,SIAM J.Compute。,第5卷第3期(1976年9月) [17] De Roever,W.P.,Dijkstra的谓词变换器,不确定性,递归和终止,(计算机科学数学基础会议论文集,1976年)。计算机科学数学基础会议论文集,1976年,计算机科学讲稿(1976年),施普林格-弗拉格:施普林格纽约/柏林·Zbl 0341.68014号 [18] 斯科特·D。;Strachey,C.,《迈向计算机语言的数学语义》(计算机与自动化研讨会论文集(1971),微波研究所)·Zbl 0268.68004号 [19] Scott,D.,《计算数学理论纲要》(Proceedings,4th Princeton Conf.on Info.Sci and Sys.(1970))·Zbl 0419.68076号 [20] Smyth,M.,Power domains,J.Compute公司。系统科学。,16, 23-36 (1978) ·兹伯利039168011 [21] Stop,J.,《程序设计语言的指称语义:Scott-Strachey方法》(1977),麻省理工学院出版社:麻省理学院出版社剑桥 [22] 斯特拉奇,C。;Milne,R.,《程序设计语言语义理论》(1977),查普曼和霍尔:查普曼与霍尔伦敦 [23] Hoare,C.A.R.,《通信顺序过程的模型》(1978年12月),牛津 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。