Centralized vs Decentralized Monitors for Hyperproperties.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker

Browse the full CONCUR paper archive.