Rule Formats for Nominal Process Calculi
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929231576956928 |
|---|---|
| author | Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna Ortega-Mallén, Yolanda |
| author_facet | Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna Ortega-Mallén, Yolanda |
| contents | 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 specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00982 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Rule Formats for Nominal Process Calculi Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna Ortega-Mallén, Yolanda Logic in Computer Science 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 specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators. |
| title | Rule Formats for Nominal Process Calculi |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2402.00982 |