A linear-time–branching-time spectrum for behavioral specification theories - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Journal of Logic and Algebraic Methods in Programming Année : 2020

A linear-time–branching-time spectrum for behavioral specification theories

Résumé

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.
Fichier principal
Vignette du fichier
S2352220819300707.pdf (560.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01406603 , version 1 (20-07-2022)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

Uli Fahrenberg, Axel Legay. A linear-time–branching-time spectrum for behavioral specification theories. 2020, pp.100499 -. ⟨10.1016/j.jlamp.2019.100499⟩. ⟨hal-01406603⟩
179 Consultations
31 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More