Antoine El-Hokayem, Yliès Falcone. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57.
⟨10.1145/nnnnnnn.nnnnnnn⟩.
⟨hal-02283429v2⟩