• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Efficient linearizability checking for actor-based systems.

Mohammed S. Al-MahfoudhRyan StutsmanGanesh 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