The paper “Preserving hyperproperties of programs using primitives with consensus number 2” (with Armando Castañeda and Constantin Enea) was published in a collection on Hyperproperties: Foundations and Applications in Acta Informatica. open access
The paper “Preserving hyperproperties of programs using primitives with consensus number 2” (with Armando Castañeda and Constantin Enea) was published in a collection on Hyperproperties: Foundations and Applications in Acta Informatica. open access