Efficient abstraction algorithms for predicate detection☆
Under an Elsevier user license
open archive
Keywords
Predicate detection
Temporal logic
Online algorithm
Distributed algorithm
Cited by (0)
- ☆
Supported by NSF CNS-1346245, NSF CNS-1115808, and the Cullen Trust for Higher Education Endowed Professorship. Parts of this work appeared in the Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS), 2013 and the Proceedings of the 15th International Conference on Distributed Computing and Networking (ICDCN), 2014.
© 2016 Elsevier B.V.