RT Conference Proceedings
T1 Rule Formats for Nominal Process Calculi
A1 Aceto, Luca
A1 Fábregas Alfaro, Ignacio
A1 García Pérez, Álvaro
A1 Ingólfsdóttir, Anna
A1 Ortega Mallén, Yolanda
A2 Roland Meyer, 
A2 Uwe Nestmann, 
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 specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.
YR 2017
FD 2017
LK https://hdl.handle.net/20.500.14352/132223
UL https://hdl.handle.net/20.500.14352/132223
LA eng
NO Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, and Yolanda Ortega-Mallén. Rule Formats for Nominal Process Calculi. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 10:1-10:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017) https://doi.org/10.4230/LIPIcs.CONCUR.2017.10
NO European Research Council
NO Ministerio de Economía y Competitividad
NO Icelandic Research Fund
NO Comunidad de Madrid
DS Docta Complutense
RD 27 may 2026