Rule formats for nominal process calculi
- Aceto, L.
- Fábregas, I.
- García-Pérez, Á.
- Ingólfsdóttir, A.
- Ortega-Mallén, Y.
Revista:
Logical Methods in Computer Science
ISSN: 1860-5974
Año de publicación: 2019
Volumen: 15
Número: 4
Tipo: Artículo