Search

• < Previous
• 1
• Next >

---

On the Axiomatisability of Parallel Composition

Luca Aceto ; Valentina Castiglioni ; Anna Ingolfsdottir ; Bas Luttik ; Mathias R. Pedersen.

This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide&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;]

---