Sign in

Concurrent Hyperproperties.

Bernd FinkbeinerErnst-Rüdiger Olderog
Published in: CoRR (2023)
Keyphrases
  • mutual exclusion
  • databases
  • cooperative
  • search algorithm
  • relational databases