菲利普·达伦多 关于公平异步。 （英语） 兹比尔0578.68010 并发系统的逻辑和模型。北约高级研究所，法国卢普河畔拉科尔，1984年，北约ASI系列。，序列号。F 13343-368（1985年）。 [关于整个系列，请参见Zbl 0566.00027号.]本文研究了公平性和异步性对类CCS语言建模的联合影响；在§1中，作者提出了这一问题：1）指定了所使用的CCS变体，2）解释了异步和公平的概念，3）指定了观测预序的操作语义（作为观测预序模型）、交互实验问题和指称模型（作为无限语言）；然后（§2）他描述了在公平异步CCS的非平凡子集（将该子集转录为S-代数）中，用于找出观测前序的语言，该观测前序对每个项都是完全抽象的；然后（§3）描述了观测框架和历史概念，给出了观测模型，并给出了公平计算的一些性质；最后（§4），他将模型限制为具有有限并行性的程序，并提出了实现该范式的一些方法。审核人：V.Calmatuianu公司 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N25号 操作系统理论 关键词：公平；异步；观测前成分；观测前序；CCS系统；公平计算；有界并行 引文：Zbl 0566.00027号 PDF格式BibTeX公司 XML格式