Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Tuesday, November 25, 2014 - 4:59:40 PM
Last modification on : Thursday, January 20, 2022 - 5:33:21 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:16:18 PM


Files produced by the author(s)



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



Record views


Files downloads