Search

• < Previous
• 1
• Next >

---

Rule Formats for Nominal Process Calculi

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&nbsp;[&hellip;]

---

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

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&nbsp;[&hellip;]

---