Login / Signup

Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.

Tobias ReinhardBart Jacobs
Published in: CAV (2) (2021)
Keyphrases
  • waiting times
  • model checking
  • rewrite systems
  • single server
  • signal processing
  • term rewriting
  • artificial intelligence
  • search engine
  • image sequences
  • multiscale
  • relational databases