RT Journal Article
T1 Rule Formats for Nominal Process Calculi
A1 Aceto, Luca
A1 Fábregas, Ignacio
A1 García-Pérez, Álvaro
A1 Ortega Mallén, Yolanda
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 specifications of the early and late pi-calculus. We also explore alternative specifications of the NTSs in which we allow residuals of abstraction sort, and introduce translations between the systems with and without residuals of abstraction sort. Our study stems from the Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.
PB Logical Methods in Computer Science
SN 1860-5974
YR 2019
FD 2019-10-14
LK https://hdl.handle.net/20.500.14352/12427
UL https://hdl.handle.net/20.500.14352/12427
LA eng
NO Union Europea. Horizonte 2020
NO Ministerio de Ciencia e Innovación (MICINN)
NO Comunidad de Madrid/FEDER
NO Icelandic Research Fund
DS Docta Complutense
RD 8 abr 2025