Adrian Francalanza, Jorge A. Pérez, César Sánchez. Runtime Verification for Decentralised and Distributed Systems. In Ezio Bartocci, Yliès Falcone, editors, Lectures on Runtime Verification - Introductory and Advanced Topics. Volume 10457 of Lecture Notes in Computer Science, pages 176-210, Springer, 2018. [doi]
Abstract is missing.