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