×
吉姆·戴维斯;史蒂夫·施耐德

定时CSP的简要历史。 （英语） Zbl 0874.68162号

西奥。计算。科学。 138，第2期，243-271（1995）.
摘要：本文是对Reed和Roscoe（1986）提出的Timed CSP语言的全面介绍。简要描述了符号，然后详细调查了该语言的定时和非定时模型。其中包括一个成分证明系统，以及一个定时优化的帐户。本文最后列出了近年来该理论的变化，并简要讨论了其他时间过程代数。

引用于19文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

定时CSP
PDF格式BibTeX公司 XML格式引用
\textit{J.Davies}和\textit{S.Schneider}，Theor。计算。科学。138，No.2，243--271（1995；Zbl 0874.68162）
全文： 内政部

参考文献：

[1] Baeten，J.C.M；Bergstra，J.A.，实时进程代数，形式方面计算。，3, 2 (1991) ·Zbl 0719.68020号
[2] Barringer，H.，《时序逻辑在并发系统组合规范中的应用》，（时序逻辑及其应用（1987），学术出版社：纽约学术出版社）·兹伯利0662.03017
[3] Boucher，A。；Gerth，R.，《扩展通信顺序过程的时间模型》（Proc.ICALP’87）。程序。ICALP’87，计算机科学讲稿，第267卷（1987），施普林格：施普林格柏林）·Zbl 0623.68022号
[4] 布鲁克斯，S.D。；Roscoe，A.W.，通信顺序过程的改进故障模型，（匹兹堡并发研讨会，匹兹堡并发研讨会，计算机科学讲义，第197卷（1985年），施普林格：施普林格柏林）·Zbl 0565.68023号
[5] Daniels，M.，用区间时间演算模拟实时行为，（Proc.实时和容错系统中的形式技术，Proc.实时与容错系统中形式技术，计算机科学讲义，第571卷（1992），Springer:Springer Berlin）
[6] Davies，J.，《实时CSP中的规范和证明》（1993），剑桥大学出版社：剑桥大学出版社·Zbl 0820.68075号
[7] 戴维斯，J。；Schneider，S.A.，《使用CSP在公平介质上验证定时协议》（Proc.CONCUR 92）。程序。CONCUR 92，计算机科学讲稿，第630卷（1992），施普林格：施普林格柏林）
[8] 戴维斯，J。；Schneider，S.A.，实时过程的递归归纳，形式方面计算。，5, 6 (1993) ·Zbl 0806.68073号
[9] Hansson，H.A.，分布式系统形式化设计中的时间和概率，（乌普萨拉大学博士论文（1991））
[10] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32（1985）·Zbl 0629.68021号
[11] 轩尼诗，M。；Regan，T.，《定时系统的进程代数》（《技术报告》5-91（1991），苏塞克斯大学认知与计算科学学院）·Zbl 0826.68068号
[12] Hoare，C.A.R，《通信顺序过程》，通信ACM，21（1978）·Zbl 0383.68028号
[13] Hoare，C.A.R，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0637.68007号
[14] Hooman，J.，《实时系统的规范和组成验证》（计算机科学讲义，第558卷（1991），Springer:Springer-Berlin）·Zbl 1293.68009号
[15] Jeffrey，A.S.，《观测空间和时间过程》（D.Phil.论文（1992），牛津大学）
[16] Liang，Chen，实时系统的交错模型，（LFCS报告系列，ECS-LFCS-91-184（1991），爱丁堡大学）·Zbl 0977.68553号
[17] 莫勒，F。；Tofts，C.，《通信系统的时间演算》（Proc.CONCUR 90）。程序。CONCUR 90，计算机科学讲稿，第458卷（1990），施普林格：施普林格柏林）
[18] 尼克林，X。；里奇尔，J.-L；Sifakis，J。；Voiron，J.，《ATP：定时过程的代数》（IFIP编程概念和方法工作会议（1990））
[19] 奥尔特加·马伦，Y。；de Frutos-Escrig，D.，《时间观测的完整证明系统》（Proc.TAPSOFT 91）。程序。TAPSOFT 91，计算机科学讲稿，第493卷（1991），施普林格：施普林格柏林）·Zbl 0967.68512号
[20] Reed，G.M.，实时分布式计算的统一数学理论，（D.Phil.论文（1988），牛津大学）
[21] 里德·G·M。；Roscoe，A.W.，用于通信顺序过程的定时模型，（Proc.ICALP’86。程序。ICALP’86，计算机科学讲稿，第226卷（1986），施普林格：施普林格柏林）·Zbl 0594.68025号
[22] 里德·G·M。；Roscoe，A.W.，《度量空间作为实时并发模型》，（第三届编程语言语义数学基础研讨会论文集。第三届程序语言语义数学理论研讨会论文集，计算机科学讲稿，第298卷（1987），Springer:Springer Berlin）·Zbl 0644.68040号
[23] 里德·G·M。；罗斯科，A.W.，《分析》（TM_{FS}）：实时并发中的不确定性研究，（《计算机科学讲义》，第491卷（1991年），施普林格：施普林格柏林）·Zbl 0644.68040号
[24] Roscoe，A.W.，《通信过程的数学理论》（D.Phil.论文（1982），牛津大学）·Zbl 1351.68148号
[25] Schneider，S.A.，实时系统中的正确性和通信，（编程研究小组专题论文PRG-84（1990），牛津大学）
[26] S.A.Schneider，《Timed CSP中的无限不确定性》，Esprit SPEC项目可交付成果，991。；S.A.Schneider，《Timed CSP中的无限不确定性》，Esprit SPEC项目可交付成果，991年。
[27] Wang，Yi，异步代理的实时行为（Proc.CONCUR 90）。程序。CONCUR 90，计算机科学讲稿，第458卷（1990），施普林格：施普林格柏林）
[28] Zwarico，A.E.，实时计算的正式模型（技术报告（1956），宾夕法尼亚大学）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。