User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Structural Refinement for the Modal nu-Calculus

Primary tabs

Fahrenberg, Uli Legay, Axel [UCL] Traonouez, Louis-Marie

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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Publication date 2014
Language Anglais
Conference "ICTAC" (09/2014)
Host document "Theoretical Aspects of Computing – ICTAC 2014 Lecture Notes in Computer Science" (ISBN : 9783319108810)
Publisher Springer International Publishing (Cham)
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Links
Bibliographic reference Fahrenberg, Uli ; Legay, Axel ; Traonouez, Louis-Marie. Structural Refinement for the Modal nu-Calculus.ICTAC (09/2014). In: Theoretical Aspects of Computing – ICTAC 2014 Lecture Notes in Computer Science, Springer International Publishing : Cham2014
Permanent URL https://hdl.handle.net/2078.1/210509