曼弗雷德·布罗伊 非确定性数据流程序：如何避免合并异常。 （英语） Zbl 0632.68016号 科学。计算。程序。 10，第1号，65-85（1988）. 介绍了一种简单的程序设计语言，用于描述松散耦合、可通信、不确定性代理的网络。讨论了两种可能的图形解释：有限循环图和无限非循环树状图。此类图的操作语义由计算序列定义。对合并异常进行了描述、分析和解释。以指称方式定义了两个定点语义，一个避免合并异常，另一个包含合并异常，并证明了它们与各自的操作定义一致。对这两种定义进行了比较和分析。 引用于11文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：网络描述的程序设计语言；不确定因素；树状图；操作语义；计算序列；定点语义 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，科学。计算。程序。10，编号1，65--85（1988；Zbl 0632.68016） 全文： DOI程序