1 paper
Samuel Graepler, Benjamin Monmege, Jean-Marc Talbot
Hyperproperties allow one to specify properties of systems that inherently involve not single executions of the system, but several of them at once: observational determinism and n…