林奇，南希;Vaandrager，Frits公司 正向和反向模拟。I.未命名系统。 （英语） Zbl 0834.68123号 Inf.计算。 121，第2期，214-233（1995）. 摘要：根据一个简单的无约束自动机模型，给出了并发系统验证的仿真技术的统一、全面的表示。特别是，定义了（1）细化，（2）正向和反向模拟，（3）正向和逆向混合模拟，以及（4）历史和预测关系。历史和预言关系是阿巴迪和兰波特的历史和预言变量的抽象版本，也是奥维基和格里斯的辅助变量。阐述并证明了不同类型仿真之间的关系以及可靠性和完整性结果。最后，展示了如何将不变量合并到所有模拟中。尽管本文首次给出了许多结果，但本文也可以被解读为模拟技术研究文献的综述（在简单的背景下）。不定时自动机的开发旨在支持时间自动机的类似开发。本文的第二部分将展示如何将本文的结果应用到时间自动机的设置中。 引用于82文件 MSC公司： 68岁20岁 模拟（MSC2010） 关键词：仿真技术;并发系统的验证 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}和\textit{F.Vaandrager}，Inf.Comput。121，No.2，214--233（1995；Zbl 0834.68123） 全文： DOI程序