@inproceedings{gallay:hal-03911798, TITLE = {{DECENT: A Benchmark for Decentralized Enforcement}}, AUTHOR = {Gallay, Florian and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-03911798}, BOOKTITLE = {{RV 2022 - 22nd International Conference on Runtime Verification}}, ADDRESS = {Tblisi, Georgia}, PAGES = {1-11}, YEAR = {2022}, MONTH = Sep, PDF = {https://inria.hal.science/hal-03911798/file/rv22-decent.pdf}, HAL_ID = {hal-03911798}, HAL_VERSION = {v1}, }