Structural Refinement for the Modal nu-Calculus

Uli Fahrenberg 1 Axel Legay 1 Louis-Marie Traonouez 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent.Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.
Type de document :
Communication dans un congrès
ICTAC, Sep 2014, Bucarest, Romania. pp.169 - 187, 2014, 〈10.1007/978-3-319-10882-7_11〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01087295
Contributeur : Uli Fahrenberg <>
Soumis le : mardi 25 novembre 2014 - 16:59:40
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : jeudi 26 février 2015 - 12:16:18

Fichier

1402.2143v2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez. Structural Refinement for the Modal nu-Calculus. ICTAC, Sep 2014, Bucarest, Romania. pp.169 - 187, 2014, 〈10.1007/978-3-319-10882-7_11〉. 〈hal-01087295〉

Partager

Métriques

Consultations de la notice

453

Téléchargements de fichiers

54