TY  - CPAPER
AU  - Aceto, Luca
AU  - Fábregas Alfaro, Ignacio
AU  - García Pérez, Álvaro
AU  - Ingólfsdóttir, Anna
AU  - Ortega Mallén, Yolanda
A2  - Roland Meyer
A2  - Uwe Nestmann
PY  - 2017
DO  - 10.4230/LIPIcs.CONCUR.2017.10
UR  - https://hdl.handle.net/20.500.14352/132223
AB  - The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the...
LA  - eng
M2  - 10 (16)
KW  - Nominal sets
KW  - Nominal structural operational semantics
KW  - Process algebra
KW  - Nominal transition systems
KW  - Scope opening
KW  - Rule formats
TI  - Rule Formats for Nominal Process Calculi
TY  - conference paper
ER  -