TY  - RPRT
TI  - Efficient Linearizability Checking for Actor-based Systems
AU  - Mohammed S. Al-Mahfoudh
AU  - Ryan Stutsman
AU  - Ganesh Gopalakrishnan
PY  - 2023
UR  - https://arxiv.org/abs/2110.06407
ID  - 2110.06407
ER  -