2026-06-28T10:09:09Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/124272023-08-27T12:37:18Zcom_20.500.14352_14col_20.500.14352_15
Docta Complutense
author
Aceto, Luca
author
Fábregas, Ignacio
author
García-Pérez, Álvaro
author
Ortega Mallén, Yolanda
2023-06-17T12:32:16Z
2023-06-17T12:32:16Z
2019-10-14
1860-5974
10.23638/LMCS-15(4:2)2019
https://hdl.handle.net/20.500.14352/12427
https://lmcs.episciences.org/5834
https://lmcs.episciences.org/index.php
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.
eng
Atribución 3.0 España
Rule Formats for Nominal Process Calculi
journal article
URL
https://docta.ucm.es/bitstreams/6687e509-e77d-4b56-b420-c9551321cd14/download
File
MD5
775881925c9b962844e2bb2df9f91e45
631269
application/pdf
ortega12.pdf