2026-08-16T22:22:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7786 2024-03-06T10:41:07Z ddc:004 open_access

Rule Formats for Nominal Process Calculi Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna Ortega-Mallén, Yolanda nominal sets nominal structural operational semantics process algebra nominal transition systems scope opening rule formats 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Luca Aceto and Ignacio Fábregas and Álvaro García-Pérez and Anna Ingólfsdóttir and Yolanda Ortega-Mallén 2017 Is Part Of LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2017.10 urn:nbn:de:0030-drops-77869 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.10 eng https://creativecommons.org/licenses/by/3.0/legalcode