Login / Signup

Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).

Ahmed BouajjaniMichael EmmiConstantin EneaJad Hamza
Published in: FSTTCS (2015)
Keyphrases
  • invited talk
  • d objects
  • object model
  • np hard
  • neural network
  • computational complexity
  • machine learning
  • higher education
  • multiple objects
  • program committee
  • concurrent execution
  • concurrent programs