×
科曼，R。;Shyamasundar，R.K。;德罗弗，W.P。;R.格思。;阿伦·库马尔，S。

实时分布式计算的合成语义。 （英语） Zbl 0669.68055号

Inf.计算。 79，第3期，210-256（1988）.
为Mini CSP-R语言开发了一种定义实时语言程序语义的方法。该方法考虑了多个进程之间的通信、并行命令和实时问题。Mini CSP-R命令的含义是通过将每个构造的含义与其组件的含义联系起来来定义的。作者将他们的方法与其他一些定义语义的方法进行了比较。作为附录，本文包含了Mini CSP-R和CSP-R语言的比较。作为另一个附录，它指出了CSP-R中ADA语言的模拟。
审核人：M.Jůza

引用于9文件

MSC公司：

68问题55 计算理论中的语义学
第68页第25页 操作系统理论
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

实时分布式语言的指称语义

软件：

阿达95;酯类
PDF格式BibTeX公司 XML格式引用
\textit{R.Koyman}等人，《信息计算》。79，编号3，210--256（1988；Zbl 0669.68055）
全文： 内政部

参考文献：

[1] Ada，《程序设计语言Ada参考手册》（《计算科学》第155卷讲义（1983年），Springer-Verlag:Springer-Verlag纽约/柏林）
[2] Berry，G。；Cosserat，L.，ESTEREL同步编程语言及其数学语义，（并发研讨会。并发研讨会，1984年7月，卡内基梅隆大学，Springer-Verlag:Springer-Verlag纽约/柏林），389-448·Zbl 0599.68023号
[3] 伯恩斯坦，A。；Harter，P.K.，用时序逻辑证明程序的实时属性，（第八届ACM操作系统原理研讨会（1981）），1-11
[4] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.Assoc.Compute。机器。，31660-59（1984年）·Zbl 0628.68025号
[5] 巴林格，H。；Kuiper，R。；Pnueli，A.，现在你可以编写时序逻辑规范了，（第16届ACM计算机理论交响曲，1984），51-63
[6] Branquart，P。；路易斯，G。；Wodon，P.，《CHILL的分析描述》，CCITT高级语言VI，（《计算科学讲义》，第128卷（1982年），Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0474.68001号
[7] （Björner，D.；Oest，O.N.，《朝向Ada的形式描述》，《朝向对Ada的正式描述》，计算机科学中的讲稿，第98卷（1980年），Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0451.68015号
[8] Boucher，A.（牛津大学计算机科学系D.Phil.论文（1986））
[9] CACM，《案例研究：航天飞机软件系统》，ACM通信，第27期，第9期（1984年）
[10] Camerini，J.，Sémantique Mathématique de Primitives Temps Reel，（《第三周期》（1982），国际数学协会，尼斯大学）
[11] Dijkstra，E.W.，《与自动计算机的通信》（博士论文（1959年），数学中心：阿姆斯特丹数学中心）·Zbl 0492.68049号
[12] Francez，N。；莱曼，D。；Pnueli，A.，分布式编程语言的线性历史语义，Theoret。计算。科学。，32, 25-46 (1984) ·Zbl 0543.68019号
[13] Gerth，R。；Boucher，A.，扩展通信过程的定时故障模型，（第14届国际学术讨论会自动机语言编程，第14届国际学术讨论会自动机语言编程，计算机科学讲义，第267卷（1987），施普林格出版社：施普林格出版社，纽约/柏林），95-114·Zbl 0623.68022号
[14] Gerth，R.，Occam的最大并行语义，notes（1985）
[15] Harel，D.，《状态图：复杂系统的视觉形式主义》，《科学》。计算。编程，8231-274（1987）·兹比尔0637.68010
[16] 惠泽，C。；Gerth，R。；de Roever，W.P.，类OCCAM语言实时指称语义的完全抽象，（第14届ACM语言编程原则（1987）），223-237
[17] Hehner，E.C.R。；Hoare，C.A.R.，一个更完整的通信过程模型，Theoret。计算。科学。，26, 105-120 (1983) ·Zbl 0513.68020号
[18] Halpern，J.Y。；北米吉多。；Munshi，A.A.（存在不确定性时的最佳精度（1985），IBM研究实验室：IBM圣何塞研究实验室）·Zbl 0598.68033号
[19] Hoare，C.A.R.，《通信顺序过程》，美国通信协会，第21期，第8期（1978年）·Zbl 0383.68028号
[20] Hooman，J.，《实时分布式消息传递的组合证明理论》（Proceedings of PARLE.Proceedings.PARLE，Telection Notes in Compute.Sci.，Vol.259（1987），Springer-Verlag:Springer-Verlag New-York/Blin），315-332，Vol.II·Zbl 0615.68024号
[21] Hooman，J.，《类OCCAM实时语言的合成证明系统》（计算科学笔记87/14（1988），埃因霍温理工大学数学与计算科学系）
[22] Jones，G.，D.Phil.论文（1982），牛津，未出版
[23] Koymans，R.，并发语言中实时编程结构的指称语义，注释（1984）
[24] 科曼斯，R。；维托皮尔，J。；de Roever，W.P.，《实时编程和异步消息传递》，（第二届ACM分布式计算原理（1983）），187-197
[25] Misra，J。；Chandy，K.M.，过程网络的证明，IEEE Trans。软件工程，SE-7，No.4，417-426（1981）·Zbl 0468.68030号
[26] Milner，R.，《并行程序语义的一种方法》，（Proceedings，Convergno di Informatica Teorica）
[27] Milner，R.，《同步与异步演算》，Theoret。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[28] OCCAM，（《OCCAM语言参考手册》（1984），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州）
[29] Salwicki，A。；Müldner，T.，《关于并发程序的算法特性》，（《计算科学》讲义，第125卷（1981年），Springer-Verlag:Springer-Verlag纽约/柏林），169-197年·Zbl 0472.68012号
[30] Shyamasundar，R.K。；de Roever，W.P.，《实时Ada的语义》，注释（1983年）
[31] Zwiers，J。；德罗弗，W.P。；van Emde Boas，P.，《合成性和并发网络：证明系统的健全性和完整性》，（第12届国际自动机语言编程，第12届国家自动机语言程序设计，计算科学讲义，第194卷（1985年），Springer-Verlag:Springer-Verlag纽约/柏林），509-519·Zbl 0566.68014号
[32] Zwiers，J.，合成性、并发性和部分正确性：过程网络及其连接的证明理论，（博士论文（1988年），埃因霍温理工大学）·Zbl 0667.68020号
[33] Zijlstra，E.，实时语义（阿姆斯特丹大学硕士论文（1984））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。