乌尔里希，尼采；Peter Ochsenschläger 系统的近似满足性质和简单语言同态。 （英语） Zbl 0900.68297号 Inf.流程。莱特。 60，第4期，201-206（1997）. 摘要：我们为系统行为的属性定义了一个新的满足关系，即近似满足。我们证明，对于近似满足的性质，它们可以划分为类似于线性性质的安全性和活性性质。我们将看到，近似满意度和线性满意度在安全性方面是等价的，但在活性属性方面是不同的。由于实际和复杂性的原因，我们证明了系统行为的抽象将保留近似满足的属性，当且仅当抽象由行为上的简单同态定义时。 引用于三文件 MSC公司： 68问题55 计算理论中的语义学 关键词：验证；近似满意度；安全；活力；抽象；简单同态；正式语言；\（\omega\）-语言；康托拓扑 PDF格式BibTeX公司 XML格式引用 \textit{U.Nitsche}和\textit{P.Ochsenschläger}，Inf.过程。莱特。60，第4号，201--206（1997；Zbl 0900.68297） 全文： 内政部 参考文献： [1] M.阿巴迪。；Lamport，L.，精炼映射的存在性，（SRC报告29（1988），DEC系统研究中心）·Zbl 0728.68083号 [2] Alpern，B。；Schneider，F.B.，《定义活力》，Inform。过程。莱特。，21, 4, 181-185 (1985) ·Zbl 0575.68030号 [3] 艾伦伯格，S.（自动化，语言与机器，A卷（1974），学术出版社：纽约学术出版社）·Zbl 0317.94045号 [4] Kelley，J.L.，《一般拓扑》（1955），Van Nostrand：Van Nostrand普林斯顿，新泽西州·Zbl 0066.16604号 [5] Nitsche，U.，《合作系统和行为抽象的验证》（德国法兰克福大学法兰克福分校博士论文（1996），提交 [6] Nitsche，U.，《验证和行为抽象——面向大型分布式系统的易处理验证技术》，J.systems Software，33，3，273-285（1996） [7] 美国尼采。；Ochsenschläger，P.，系统的近似满足性质和简单语言同态，（Arbeitspapiere der GMD 965（1995），Gesellschaft für Mathematik und Datenverabeitung（GMD）：Gesellshaft fü）·Zbl 0900.68297号 [8] Ochsenschläger，P.，验证kooperierender Systeme mittels schlichter同态，（Arbeitspapiere der GMD 688（1992），Gesellschaft für Mathematik und Datenverabeitung（GMD）：Gesellschart für-Mathematak und Dataenverabeitong（GMD-Darmstadt） [9] Ochsenschläger，P.，使用产品网络机器通过简单同态验证合作系统，（Desel，J.；Oberweis，A.；Reisig，W.，Workshop:Algorithmen und Werkzeuge für Petrinetze（1994），洪堡大学：柏林洪堡大学），48-53 [10] Ochsenschläger，P.，使用简单同态对合作系统进行组合验证，（Desel，J.；Fleischhack，H.；Oberweis，A.；Sonnenschein，M.，研讨会：Algorithmen und Werkzeuge für Petrinetze（1995），奥尔登堡大学），8-13 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。