dc.contributor |
Háskólinn í Reykjavík |
dc.contributor |
Reykjavik University |
dc.contributor.author |
Aceto, Luca |
dc.contributor.author |
Fabregas, Ignacio |
dc.contributor.author |
Garcia-Perez, Alvaro |
dc.contributor.author |
Ingolfsdottir, Anna |
dc.contributor.author |
Ortega-Mallen, Yolanda |
dc.date.accessioned |
2020-05-19T15:43:36Z |
dc.date.available |
2020-05-19T15:43:36Z |
dc.date.issued |
2019-10-14 |
dc.identifier.citation |
Aceto, L., Fábregas, I., García-Pérez, Á., Ingólfsdóttir, A., & Ortega-Mallén, Y. (2019). Rule Formats for Nominal Process Calculi [PDF]. Logical Methods in Computer Science ; Volume 15, Issue 4; 18605974. https://doi.org/10.23638/LMCS-15(4:2)2019 |
dc.identifier.issn |
1860-5974 |
dc.identifier.uri |
https://hdl.handle.net/20.500.11815/1823 |
dc.description |
Publisher's version (útgefin grein) |
dc.description.abstract |
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. |
dc.description.sponsorship |
Research partially supported by the project Nominal SOS (nr. 141558-051) of the Icelandic Research Fund, the project 001-ABEL-CM-2013 within the NILS Science and Sustainability Programme, the Spanish Projects TRACES (TIN2015-67522-C3-3-R) and Bosco (PGC2018-102210-B-I00), and by Comunidad de Madrid as part of the program S2018/TCS-4339 (BLOQUES-CM) co-funded by EIE Funds of the European Union, and the projects RACCOON (H2020-EU 714729) and MATHADOR (COGS 724.464) of the European Research Council, and the Spanish addition to MATHADOR (TIN2016-81699-ERC). |
dc.format.extent |
2 |
dc.language.iso |
en |
dc.relation |
info:eu-repo/grantAgreement/EC/H2020/714729 |
dc.relation.ispartofseries |
Logical Methods in Computer Science;15(4) |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.subject |
Nominal sets |
dc.subject |
Nominal structural operational semantics |
dc.subject |
Process algebra |
dc.subject |
Nominal transition systems |
dc.subject |
Scope opening |
dc.subject |
Rule formats |
dc.subject |
Semantics |
dc.subject |
Calculus |
dc.subject |
Algorithms |
dc.subject |
Compilers |
dc.subject |
Logic in Computer Science |
dc.subject |
Programming Languages |
dc.subject |
Merkingarfræði |
dc.subject |
Algebra |
dc.subject |
Stærðfræðigreining |
dc.subject |
Rökfræði |
dc.subject |
Tölvunarfræði |
dc.subject |
Forritunarmál |
dc.subject |
Reiknirit |
dc.subject |
Þýðendur (tölvforrit) |
dc.title |
Rule Formats for Nominal Process Calculi |
dc.type |
info:eu-repo/semantics/article |
dcterms.license |
This work is licensed under the Creative Commons Attribution License. To view a copy of this license, visit https://creativecommons.org/licenses/by/4.0/ |
dc.description.version |
"Peer Reviewed" |
dc.identifier.journal |
Logical Methods in Computer Science |
dc.identifier.doi |
10.23638/LMCS-15(4:2)2019 |
dc.contributor.department |
Tölvunarfræðideild (HR) |
dc.contributor.department |
Department of Computer Science (RU) |
dc.contributor.department |
Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) (RU) |
dc.contributor.school |
Tæknisvið (HR) |
dc.contributor.school |
School of Technology (RU) |