Álvaro García-Pérez

Rule Formats for Nominal Process Calculi

2019 · Opin vísindi (Opin vísindi)

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 …