香港Reghbati。 基于消息的多进程系统的活性分析。 （英文） Zbl 0517.68049号 信息 21, 20-30 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 MSC公司： 第68页第25页 操作系统理论 关键词：编译时无活性检测；僵局；悬挂消息；流动分析；转移矩阵；活性分析算法；信道容量；系统特性 PDF格式BibTeX公司 XML格式引用 \textit{香港Reghbati}，INFOR 21，20--30（1983；Zbl 0517.68049） 全文： 内政部