Menna Mostafa, Borzoo Bonakdarpour. Decentralized Runtime Verification of LTL Specifications in Distributed Systems. In 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015. pages 494-503, IEEE Computer Society, 2015. [doi]
Abstract is missing.