Abstract
Linearisability is a central notion for verifying concurrent libraries: a library is proven correct if its operational history can be rearranged into ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
