×

不确定性、并发性和通信的语义。 (英语) Zbl 0434.68066号


MSC公司:

68问题55 计算理论中的语义学
68号01 软件理论的一般主题
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。