Rule formats for nominal process calculi
- Aceto, L.
- Fábregas, I.
- García-Pérez, Á.
- Ingólfsdóttir, A.
- Ortega-Mallén, Y.
Aldizkaria:
Logical Methods in Computer Science
ISSN: 1860-5974
Argitalpen urtea: 2019
Alea: 15
Zenbakia: 4
Mota: Artikulua