Publicaciones en las que colabora con IGNACIO FÁBREGAS ALFARO (2)

2019

  1. 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

  1. 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)