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

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