共 50 条
- [2] Checking Opacity and Durable Opacity with FDR [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 222 - 242
- [3] Standards for checking opacity meters [J]. JOURNAL OF THE FRANKLIN INSTITUTE, 1934, 218 : 504 - 505
- [7] Checking causal consistency of distributed databases [J]. COMPUTING, 2022, 104 (10) : 2181 - 2201
- [9] INTEGRITY CONSTRAINT CHECKING IN STRATIFIED DATABASES [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 331 - 343
- [10] Checking and Enforcing Security Through Opacity in Healthcare Applications [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS, 2018, 10797 : 161 - 173