TY  - JOUR
AU  - Aceto, Luca
AU  - Fábregas, Ignacio
AU  - García-Pérez, Álvaro
AU  - Ortega Mallén, Yolanda
PY  - 2019
DO  - 10.23638/LMCS-15(4:2)2019
SN  - 1860-5974
UR  - https://hdl.handle.net/20.500.14352/12427
T2  - Logical Methods in Computer Science
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  - 2:1
PB  - Logical Methods in Computer Science
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  - journal article
VL  - 15
ER  -