Publicaciones en las que colabora con MIGUEL PALOMINO TARJUELO (5)

2013

  1. Unifying the linear time-branching time spectrum of strong process semantics

    Logical Methods in Computer Science, Vol. 9, Núm. 2

2009

  1. On the Unification of Process Semantics: Equational Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267

  2. On the unification of process semantics: Observational semantics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Ready to preorder: an algebraic and general proof

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 7, pp. 539-551

2008

  1. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

    Electronic Notes in Theoretical Computer Science, Vol. 212, Núm. C, pp. 149-162