共 50 条
- [41] Token-based approach in distributed mutual exclusion algorithms: a review and direction to future research The Journal of Supercomputing, 2021, 77 : 14305 - 14355
- [42] Token-based approach in distributed mutual exclusion algorithms: a review and direction to future research JOURNAL OF SUPERCOMPUTING, 2021, 77 (12): : 14305 - 14355
- [45] Permission-Based Verification of Red-Black Trees and Their Merging 2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 111 - 123
- [46] Group mutual exclusion algorithms based on ticket orders COMPUTING AND COMBINATORICS, PROCEEDINGS, 2003, 2697 : 232 - 241
- [48] Group mutual exclusion algorithms based on ticket orders Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2697 : 232 - 241
- [49] Towards Formal Analysis of the Permission-based Security Model for Android ICWMC: 2009 FIFTH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMMUNICATIONS, 2009, : 87 - 92
- [50] FOCUSING ON THE CUSTOMER: MOBILE MARKETING AS A TOOL FOR PERMISSION-BASED RELATIONSHIPS PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON BUSINESS EXCELLENCE, VOL 2, 2011, : 293 - 296