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

https://hal.inria.fr/hal-01087295
Contributor : Uli Fahrenberg <>
Submitted on : Tuesday, November 25, 2014 - 4:59:40 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:28 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:16:18 PM

File

1402.2143v2.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

635

Files downloads

226