A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories
Logic in Computer Science
2019-10-21 v5
Abstract
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.
Cite
@article{arxiv.1604.06503,
title = {A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories},
author = {Uli Fahrenberg and Axel Legay},
journal= {arXiv preprint arXiv:1604.06503},
year = {2019}
}