Publikationen, an denen er mitarbeitet IGNACIO FÁBREGAS ALFARO (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