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

Uli Fahrenberg 1 Axel Legay 2
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Autre publication
We propose behavioral specification theories for most equivalences in the linear-time–branching.. 2016
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01406603
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 14:24:53
Dernière modification le : mardi 17 avril 2018 - 09:08:51

Lien texte intégral

Identifiants

  • HAL Id : hal-01406603, version 1
  • ARXIV : 1604.06503

Citation

Uli Fahrenberg, Axel Legay. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories. We propose behavioral specification theories for most equivalences in the linear-time–branching.. 2016. 〈hal-01406603〉

Partager

Métriques

Consultations de la notice

327