Publicacións nas que colabora con MIGUEL PALOMINO TARJUELO (11)

2013

  1. On the specification of modal systems: A comparison of three frameworks

    Science of Computer Programming

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

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

2012

  1. Relating modal refinements, covariant-contravariant simulations and partial bisimulations

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

2010

  1. Equational characterization of covariant-contravariant simulation and conformance simulation semantics

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Logics for contravariant simulations

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

2009

  1. Non-strongly stable orders also define interesting simulation relations

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

  2. On the Unification of Process Semantics: Equational Semantics

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

  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

  2. Multiset bisimulations as a common framework for ordinary and probabilistic bisimulations

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

2007

  1. Reflection and preservation of properties in coalgebraic (bi)simulations

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