Rule Formats for Nominal Process Calculi

Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda

dc.contributor	Háskólinn í Reykjavík
dc.contributor	Reykjavik University
dc.contributor.author	orcid.org/0000-0001-8554-6907 Aceto, Luca
dc.contributor.author	Fabregas, Ignacio
dc.contributor.author	Garcia-Perez, Alvaro
dc.contributor.author	orcid.org/0000-0001-8362-3075 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)