Resumen:
Artículo publicado en CONCUR 2017. 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.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{prole:2018:005,
title={{Rule formats for nominal process calculi (Trabajo ya publicado)}},
author={Luca Aceto and Ignacio F{\'a}bregas and Álvaro Garc{\'i}a P{\'e}rez and Anna Ing{\'o}lfsd{\'o}ttir and Yolanda Ortega Mall{\'e}n},
url={http://hdl.handle.net/11705/PROLE/2018/005},
booktitle={PROLE2018},
year={2018},
publisher={SISTEDES},
crossref={prole2018sevilla}
}
@proceedings{prole2018sevilla,
title={{ Actas de las XVIII Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2018).}},
editor={Ortega Mall{\'e}n, Y.},
booktitle={PROLE2018},
year={2018},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar