Structural Refinement for the Modal nu-Calculus

DOI10.1007/978-3-319-10882-7_11zbMath1432.68261arXiv1402.2143OpenAlexW1788643058MaRDI QIDQ2938159

Axel Legay, Uli Fahrenberg, Louis-Marie Traonouez

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.2143

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

ACTL for modal interface automata ⋮ Compositionality for quantitative specifications ⋮ A linear-time-branching-time spectrum for behavioral specification theories ⋮ Logical vs. behavioural specifications

This page was built for publication: Structural Refinement for the Modal nu-Calculus