Logical characterisations, rule formats and compositionality for input-output conformance simulation

DOI10.1016/j.jlamp.2019.04.005zbMath1423.68091MaRDI QIDQ2423772

Luca Aceto, Anna Ingólfsdóttir, Carlos Gregorio Rodríguez, I. Fábregas

Publication date: 20 June 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.04.005

zbMATH Keywords

modal logic; compositionality; modal decomposition; rule formats; input-output conformance simulation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• mCRL2
• CMC