HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Other publications

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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Document type :
Other publications
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01406603
Contributor : Nisrine Jafri Connect in order to contact the contributor
Submitted on : Thursday, December 1, 2016 - 2:24:53 PM
Last modification on : Wednesday, November 3, 2021 - 6:05:36 AM

Links full text

Identifiers

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

Citation

Uli Fahrenberg, Axel Legay. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories. 2016. ⟨hal-01406603⟩

Share

Metrics

Record views

140