Luca Aceto ; Ignacio Fábregas ; Álvaro García-Pérez ; Anna Ingólfsdóttir ; Yolanda Ortega-Mallén - Rule Formats for Nominal Process Calculi

lmcs:4678 - Logical Methods in Computer Science, October 14, 2019, Volume 15, Issue 4 - https://doi.org/10.23638/LMCS-15(4:2)2019
Rule Formats for Nominal Process Calculi

Authors: Luca Aceto ; Ignacio Fábregas ; Álvaro García-Pérez ; Anna Ingólfsdóttir ; Yolanda Ortega-Mallén

    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.


    Volume: Volume 15, Issue 4
    Published on: October 14, 2019
    Accepted on: October 14, 2019
    Submitted on: July 10, 2018
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages
    Fundings :
      Source : OpenAIRE Research Graph
    • Type and Proof Structures for Concurrent Software Verification; Funder: European Commission; Code: 724464
    • A Rigorous Approach to Consistency in Cloud Databases; Funder: European Commission; Code: 714729

    Linked data

    Source : ScholeXplorer IsPartOf DOI 10.4230/lipics.concur.2017
    • 10.4230/lipics.concur.2017
    LIPIcs, Volume 85, CONCUR'17, Complete Volume
    Meyer, Roland ; Nestmann, Uwe ;

    Share

    Consultation statistics

    This page has been seen 459 times.
    This article's PDF has been downloaded 214 times.