From Matching Logic To Parallel Imperative Language Verification. - ShangBei Wang (CoRR, 2021)

Concurrent matching logic. - Shangbei Wang (CoRR, 2021)

Matching Logic Based on Ownership Transfer. - Shangbei Wang; Yintong Wang (Int. J. Softw. Eng. Knowl. Eng., 2023)

Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns. - ShangBei Wang; WeiYu Dong (Int. J. Softw. Eng. Knowl. Eng., 2023)