Efficient linearizability checking for actor-based systems

Open Webpage

Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan

Published: 01 Jan 2023, Last Modified: 25 Jan 2025Softw. Pract. Exp. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0