Universidad Complutense de Madrid
E-Prints Complutense

Rule Formats for Nominal Process Calculi

Downloads

Downloads per month over past year

63042

Impacto

Downloads

Downloads per month over past year

Aceto, Luca and Fábregas, Ignacio and García-Pérez, Álvaro and Ortega Mallén, Yolanda (2019) Rule Formats for Nominal Process Calculi. Logical Methods in Computer Science, 15 (4). 2:1-2:46. ISSN 1860-5974

[thumbnail of ortega12.pdf]
Preview
PDF
Creative Commons Attribution.

631kB

Official URL: https://lmcs.episciences.org/5834




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.


Item Type:Article
Uncontrolled Keywords:nominal sets, nominal structural operational semantics, process algebra, nominal transition systems, scope opening, rule formats.
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:63042
Deposited On:16 Nov 2020 15:02
Last Modified:16 Nov 2020 15:29

Origin of downloads

Repository Staff Only: item control page