IGNACIO
FÁBREGAS ALFARO
Profesor contratado doctor
Publicaciones en las que colabora con IGNACIO FÁBREGAS ALFARO (2)
2019
-
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Journal of Logical and Algebraic Methods in Programming, Vol. 106, pp. 78-106
2017
-
Logical characterisations and compositionality of input-output conformance simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)