Login / Signup

Safety and Liveness in Concurrent Pointer Programs.

Dino DistefanoJoost-Pieter KatoenArend Rensink
Published in: FMCO (2005)
Keyphrases
  • data structure
  • concurrent programs
  • concurrent programming
  • computer programs
  • database
  • real time
  • information retrieval
  • reinforcement learning
  • intermediate level
  • control structures
  • nuclear power plant