A Benchmark for Evaluating Decentralised Monitoring Algorithms of Decentralised Specifications
Description to come.