2 results
Luca Aceto ; Ignacio Fábregas ; Álvaro García-Pérez ; Anna Ingólfsdóttir ; Yolanda Ortega-Mallén.
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 […]
Published on October 14, 2019
Luca Aceto ; Ian Cassar ; Adrian Francalanza ; Anna Ingolfsdottir.
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores bidirectional enforcement strategies for properties describing the input and output behaviour of a system. We develop an […]
Published on February 28, 2023