Logical Characterisations and Compositionality of Input-Output Conformance Simulation

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

“…Some of the results in Sections 3, 6 and 7 were presented in the conference paper [2]. In this extended work we offer proofs (some in the appendices) of the results that were announced without proof in [2] and complement the study in those sections with new results, examples and counterexamples. More in detail, the present work contains the following new material.…”