Efficient linearizability checking for actor-based systems.

Mohammed S. Al-Mahfoudh Ryan Stutsman Ganesh Gopalakrishnan

Published in: Softw. Pract. Exp. (2023)

Keyphrases

data sets
artificial intelligence
computer systems
databases
three dimensional
multiscale
multi agent
query processing
learning systems
complex systems
cost effective
computationally expensive