Shangbei Wang

According to our database, Shangbei Wang authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns.

ShangBei Wang, WeiYu Dong

Int. J. Softw. Eng. Knowl. Eng., February, 2023

Matching Logic Based on Ownership Transfer.

Shangbei Wang, Yintong Wang

Int. J. Softw. Eng. Knowl. Eng., January, 2023

2021

Concurrent matching logic.

Shangbei Wang

CoRR, 2021

From Matching Logic To Parallel Imperative Language Verification.

ShangBei Wang

CoRR, 2021