杰夫·巴雷特;迈克尔·戈德史密斯 CSP中无界不确定性的分类。 (英语) Zbl 0792.68088号 计算机科学中的拓扑和范畴理论。Conf.,牛津/英国1989,57-74(1991)。 摘要:[有关整个系列,请参阅兹标0725.00017.]最近的研究为通信顺序过程(CSP)提供了模型,该模型允许放松隐含有限不确定性的紧性公理。特别是,任意进程可以通过实现它们的一组预先确定的进程来识别。本文考虑了作为度量下预确定过程的完备超度量空间子集的集的拓扑性质\[d(Q,R)=\inf\{2^{-n}\mid Q\downarrow n=R\down箭头n\}\]其中,\(Q\向下箭头n\)是\(Q)的\(n\)阶跃近似值。主要结果是一个过程的不确定性超限指数的界,它是指一组具有所有必要行为的预定过程的Lindelöf数。 引用于1文件 MSC公司: 68问题55 计算理论中的语义学 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 03B65号 自然语言逻辑 54D20个 非紧覆盖性质(仿紧、Lindelöf等) 关键词:CSP公司;分布式系统;通信顺序过程;拓扑特性;不确定性;林德夫数 引文:Zbl 0725.00017号 PDF格式BibTeX公司 XML格式引用 \textit{G.Barrett}和\textit{M.Goldsmith},在:拓扑、计算机科学和收敛数学中。57-74(1991年;Zbl 0792.68088)