Logical Characterisations and Compositionality of Input-Output Conformance Simulation

DOI10.1007/978-3-319-51963-0_4zbMath1433.68090OpenAlexW2570726665MaRDI QIDQ2971123

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

Publication date: 4 April 2017

Published in: SOFSEM 2017: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-51963-0_4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Logical characterisations, rule formats and compositionality for input-output conformance simulation, An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some undecidable properties of SOS specifications
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Unifying the Linear Time-Branching Time Spectrum of Process Semantics
• A Pre-congruence Format for XY-simulation
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced
• Formal Approaches to Software Testing