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.
CITATION STYLE
Fahrenberg, U., & Legay, A. (2017). A linear-time–branching-time spectrum of behavioral specification theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10139 LNCS, pp. 49–61). Springer Verlag. https://doi.org/10.1007/978-3-319-51963-0_5
Mendeley helps you to discover research relevant for your work.