共 50 条
- [1] On Detecting Regular Predicates in Distributed Systems [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 397 - 411
- [2] Detecting global predicates in distributed systems with clocks [J]. DISTRIBUTED ALGORITHMS, PROCEEDINGS, 1997, 1320 : 185 - 199
- [5] On detecting global predicates in distributed computations [J]. 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 3 - 10
- [6] Detecting temporal logic predicates on distributed computations [J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, 4731 : 420 - +
- [10] Particle Swarm Optimization Algorithm for Detecting Distributed Predicates [J]. IEEE ACCESS, 2021, 9 : 105286 - 105296