C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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