We propose behavioral specification theories for most equivalences in the linear-time–branching-time spectrum. Almost all previous work on specification theories focuses on bisimilarity, but there is a clear interest in specification theories for other preorders and equivalences. We show that specification theories for preorders cannot exist and develop a general scheme which allows us to define behavioral specification theories, based on disjunctive modal transition systems, for most equivalences in the linear-time–branching-time spectrum.

中文翻译：

---

行为规范理论的线性时间分支时间谱

我们提出了线性时间分支时间谱中大多数等价物的行为规范理论。几乎以前所有关于规范理论的工作都集中在双相似性上，但是对于其他预序和等价物的规范理论显然有兴趣。我们表明预言的规范理论是不存在的，并开发了一个通用方案，该方案使我们能够基于析取模态转换系统为线性时间-分支时间谱中的大多数等效项定义行为规范理论。