Publicaciones en las que colabora con YOLANDA ORTEGA MALLÉN (2)

2019

  1. Rule formats for nominal process calculi

    Logical Methods in Computer Science, Vol. 15, Núm. 4

2017

  1. Rule formats for nominal process calculi

    Leibniz International Proceedings in Informatics, LIPIcs