Fauconnier，H。 在CPS中包含Sémantique异步和组件。 （法语） Zbl 0627.68023号 西奥。计算。科学。 54, 277-298 (1987). 对于CSP程序P，我们关联了一个表示P的有限和无限行为的无限语言I（P）；然后我们在I（P）上定义了一个关系\（\sim\）：\（u\sim v \）当且仅当u和v.I（P）的动作之间存在相同的因果关系/（\sim \）是程序P的异步语义。该语义也可以通过通信关系获得，并且我们证明了\（u\sim v \）当且仅当u和v在每个过程上具有相同的投影。我们研究了该模型中的公平概念，并证明了我们无法在CSP中实现公平信道，而且通常我们无法通过集中程序（即具有管理进程间通信的特殊进程的程序）模拟程序P。 引用于1文件 MSC公司： 68N25号 操作系统理论 关键词：CSP计划;无限语言;异步语义;通信关系;公平;过程之间的通信 软件：CESAR公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Fauconnier}，Theor。计算。科学。54277-298（1987年；兹bl 062768023） 全文： 内政部 参考文献： [1] Boasson，L。；Nivat，M.，《语言的坚守》，计算机杂志。系统科学。，20, 3, 285-309 (1980) ·Zbl 0471.68052号 [2] 巴克利，G.N。；Silberschatz，A.，CSP广义输入输出结构的有效实现，ACM TOPLAS，5，2，222-235（1983）·Zbl 0516.68026号 [3] 克拉克，F.M。；艾默生，F.A。；Sisla，A.P.，《使用时序逻辑规范对有限状态并发系统进行自动验证：一种实用方法》，（第十届美国计算机学会编程语言原理研讨会（1983年）），117-126，德克萨斯州奥斯汀 [4] Fauconnier，H.，《CSP课程内容汇编》（巴黎大学，第84-45号，第7期，1984年）·Zbl 0627.68023号 [5] Gire，F.，《无限理性的关系》（《第三周期》，7（1981），巴黎大学）·Zbl 0552.68064号 [6] Hoare，C.A.R.，《通信顺序过程》，通信ACM，21，8，666-677（1978）·Zbl 0383.68028号 [7] Lamport，L.，《分布式系统中的时间、时钟和事件顺序》，美国通信协会，21，7，558-565（1978）·Zbl 0378.68027号 [8] Lallement，G.，《半群和组合应用》（1979），威利出版社：威利纽约·Zbl 0421.20025 [9] 莱曼，J.P。；Pneuli，A。；Stavi，J.，《公正、正义和公平：同时终止的伦理》（计算机科学讲义，115（1981），施普林格：施普林格柏林），264-277·Zbl 0468.68026号 [10] Nivat，M.，《过程同步系统的行为》，7（1981），巴黎大学，DEA课程81-82，Rap。LITP编号81-64 [11] Reisig，W.，类CSP语言的部分顺序语义及其对公平的影响，（计算机科学讲义，172（1984），施普林格：施普林格-柏林），403-413·Zbl 0597.68019号 [12] Queille，J.P。；Sifakis，J.，《CESAR中并发系统的规范和验证》，（Proc.Internat.Symp.on Programming，Proc.Internet.Symp.on Programmming，计算机科学讲稿，137（1982），Springer:Springer Berlin），337-350·Zbl 0482.68028号 [13] Schwartz，J.S.，CSP的分布式同步，（技术报告（1978），爱丁堡大学人工智能系） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。