Concurrent Hyperproperties.

Bernd Finkbeiner Ernst-Rüdiger Olderog

Published in: Theories of Programming and Formal Methods (2023)

Keyphrases

data sets
concurrent programs
database
artificial intelligence
mutual exclusion
neural network
multi agent
optimal solution
multi agent systems
expert systems
artificial neural networks
search space
concurrent execution
concurrent programming