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  - 2019
DO  - 10.23638/lmcs-15(4:2)2019
UR  - https://arxiv.org/abs/1807.02081
ID  - 1807.02081
ER  -