TY  - RPRT
TI  - Rule Formats for Nominal Process Calculi
AU  - Luca Aceto
AU  - Ignacio Fábregas
AU  - Álvaro García-Pérez
AU  - Anna Ingólfsdóttir
AU  - Yolanda Ortega-Mallén
PY  - 2024
DO  - 10.4230/lipics.concur.2017.10
UR  - https://arxiv.org/abs/2402.00982
ID  - 2402.00982
ER  -