Sign in

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011).

Hans-Juergen BoehmUrsula GoltzHolger HermannsPeter Sewell
Published in: Dagstuhl Reports (2011)
Keyphrases
  • probabilistic model
  • computational models
  • database
  • statistical model
  • theoretical framework
  • statistical models
  • formal models
  • databases
  • computational model
  • complex systems