共 50 条
- [1] Structural Equivalence in Subgraph Matching IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2023, 10 (04): : 1846 - 1862
- [7] Computational Soundness of Observational Equivalence CCS'08: PROCEEDINGS OF THE 15TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2008, : 109 - 118
- [10] A method for proving observational equivalence PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, 2009, : 266 - +