2026-06-29T09:25:25Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/124272023-08-27T12:37:18Zcom_20.500.14352_14col_20.500.14352_15

Rule Formats for Nominal Process Calculi Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ortega Mallén, Yolanda 004.43 nominal sets nominal structural operational semantics process algebra nominal transition systems scope opening rule formats. Lenguajes de programación 1203.23 Lenguajes de Programación 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. Union Europea. Horizonte 2020 Ministerio de Ciencia e Innovación (MICINN) Comunidad de Madrid/FEDER Icelandic Research Fund Sección Deptal. de Sistemas Informáticos y Computación Fac. de Ciencias Matemáticas TRUE pub 2023-06-17T12:32:16Z 2023-06-17T12:32:16Z 2019-10-14 journal article https://hdl.handle.net/20.500.14352/12427 1860-5974 10.23638/LMCS-15(4:2)2019 eng RACCOON (H2020-EU 714729); MATHADOR (COGS 724.464 TRACES (TIN2015-67522-C3-3-R); Bosco (PGC2018-102210-B-I00); MATHADOR (TIN2016-81699-ERC) BLOQUES-CM (S2018/TCS-4339) Nominal SOS (nr. 141558-051) Atribución 3.0 España https://creativecommons.org/licenses/by/3.0/es/ open access application/pdf Logical Methods in Computer Science