Opin vísindi

Rule Formats for Nominal Process Calculi

Show simple item record

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.school Tæknisvið (HR)
dc.contributor.school School of Technology (RU)


Files in this item

This item appears in the following Collection(s)

Show simple item record