Enriched μ-Calculi Module Checking

DOI10.1007/978-3-540-71389-0_14zbMath1195.68066OpenAlexW1769049963MaRDI QIDQ5758045

Aniello Murano, Alessandro Ferrante

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_14

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Enriched μ–Calculus Pushdown Module Checking

This page was built for publication: Enriched μ-Calculi Module Checking