2 results
Luca Aceto ; Wan Fokkink ; Anna Ingolfsdottir ; Bas Luttik.
This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion, relabelling and restriction free fragment of Milner's […]
Published on March 9, 2005
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