Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan. Efficient linearizability checking for actor-based systems. Software: Practice and Experience, 53(11):2163-2199, November 2023. [doi]
@article{AlmahfoudhSG23,
title = {Efficient linearizability checking for actor-based systems},
author = {Mohammed S. Al-Mahfoudh and Ryan Stutsman and Ganesh Gopalakrishnan},
year = {2023},
month = {November},
doi = {10.1002/spe.3251},
url = {https://doi.org/10.1002/spe.3251},
researchr = {https://researchr.org/publication/AlmahfoudhSG23},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {53},
number = {11},
pages = {2163-2199},
}