Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Ortega Mallén, Yolanda | Logical Methods in Computer Science | 2019-10-14The 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 sp[...]
