A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

Fahrenberg, Uli;Legay, Axel
(2017) SOFSEM 2017: Theory and Practice of Computer Science — p. pp 49-61 (2017)

Files

Fahrenberg-Legay2017_Chapter_ALinear-TimeBranching-TimeSpec.pdf
  • Open Access
  • Adobe PDF
  • 248.96 KB
Download

Details

Authors
  • Fahrenberg, UliEcole polytechnique, Palaiseau, France
    Author
  • Legay, AxelUCLouvain
    Author
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., & Legay, A. (2017). A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM 2017: Theory and Practice of Computer Science, pp 49-61. https://doi.org/10.1007/978-3-319-51963-0_5 (Original work published 2017)