Logical Characterisations and Compositionality of Input-Output Conformance Simulation.

Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir

Browse the full SOFSEM paper archive.